Asynchronous session subtyping as communicating automata refinement
Crossref DOI link: https://doi.org/10.1007/s10270-020-00838-x
Published Online: 2021-01-04
Published Print: 2021-04
Update policy: https://doi.org/10.1007/springer_crossmark_policy
Bravetti, Mario
Zavattaro, Gianluigi
Funding for this research was provided by:
H2020 Marie Sklodowska-Curie Actions (778233)
Text and Data Mining valid from 2021-01-04
Version of Record valid from 2021-01-04
Article History
Received: 27 February 2020
Revised: 17 July 2020
Accepted: 19 October 2020
First Online: 4 January 2021