Non-black-box Simulation in the Fully Concurrent Setting, Revisited
Crossref DOI link: https://doi.org/10.1007/s00145-018-09309-5
Published Online: 2019-02-06
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Kiyoshima, Susumu
Text and Data Mining valid from 2019-02-06
Article History
Received: 30 November 2015
Revised: 12 September 2018
First Online: 6 February 2019
Free to read: This content has been made available to all.