A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms

DOI10.1007/978-3-540-73094-1_11zbMath1226.68055OpenAlexW1597683009WikidataQ56893238 ScholiaQ56893238MaRDI QIDQ3612931

Jordi Cortadella, Fei Xia, Kyller Costa Gorgônio

Publication date: 11 March 2009

Published in: Petri Nets and Other Models of Concurrency – ICATPN 2007 (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-73094-1_11

zbMATH Keywords

synthesisconcurrent systemsPetri netsmodel checkingprotocolsasynchronous communication mechanisms

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

This page was built for publication: A Compositional Method for the Synthesis of Asynchronous Communication Mechanisms