Analysis of Asynchronous Programs with Event-Based Synchronization

DOI10.1007/978-3-662-46669-8_22zbMath1335.68053OpenAlexW800647461WikidataQ57831191 ScholiaQ57831191MaRDI QIDQ2802452

Fernando Rosa-Velardo, Rupak Majumdar, Pierre Ganty, Michael Emmi

Publication date: 26 April 2016

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-662-46669-8_22

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)

Related Items (1)

Ordinal recursive complexity of unordered data nets

This page was built for publication: Analysis of Asynchronous Programs with Event-Based Synchronization