Designing a semantic model for a wide-spectrum language with concurrency
Crossref DOI link: https://doi.org/10.1007/s00165-017-0416-4
Published Print: 2017-09
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Colvin, Robert J.
Hayes, Ian J. http://orcid.org/0000-0003-3649-392X
Meinicke, Larissa A.
Funding for this research was provided by:
Australian research council (DP130102901)
Text and Data Mining valid from 2017-09-01
Version of Record valid from 2017-09-01
Article History
Received: 23 March 2016
Accepted: 28 November 2016
First Online: 27 February 2017