Process Algebra with Strategic Interleaving
Crossref DOI link: https://doi.org/10.1007/s00224-018-9873-2
Published Online: 2018-08-08
Published Print: 2019-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bergstra, J. A.
Middelburg, C. A. http://orcid.org/0000-0002-8725-0197
Text and Data Mining valid from 2018-08-08
Article History
First Online: 8 August 2018