Crossmark

Taming Concurrency for Verification Using Multiparty Session Types

Crossref DOI link: https://doi.org/10.1007/978-3-030-32505-3_12

Published Online: 2019-10-22

Published Print: 2019

Update policy: https://doi.org/10.1007/springer_crossmark_policy

Authors

Peters, Kirstin http://orcid.org/0000-0002-4281-0074
Wagner, Christoph

Nestmann, Uwe http://orcid.org/0000-0002-8520-5448
License Information

Text and Data Mining valid from 2019-01-01

Text and Data Mining valid from 2019-01-01

Version of Record valid from 2019-01-01
More Information

Chapter History

First Online: 22 October 2019

Conference Information

Conference Acronym: ICTAC

Conference Name: International Colloquium on Theoretical Aspects of Computing

Conference City: Hammamet

Conference Country: Tunisia

Conference Year: 2019

Conference Start Date: 31 October 2019

Conference End Date: 4 November 2019

Conference Number: 16

Conference ID: ictac2019

Conference URL: http://www.redcad.org/events/ictac2019/