Analysis of asynchronous programs with event-based synchronization

DOI10.1007/978-3-662-46669-8_22MaRDI QIDQ2802452zbMATH OpenOpenAlexDBLPWikidataFDO

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

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

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

Recommendations

• Verifying robustness of event-driven asynchronous programs against concurrency
• Verifying liveness for asynchronous programs
• On asynchronous eventful session semantics
• Synchronizing the asynchronous
• Interprocedural analysis of asynchronous programs

Cited in

(5)

• Verifying robustness of event-driven asynchronous programs against concurrency
• Analyzing Asynchronous Programs with Preemption
• Analyzing Real-Time Event-Driven Programs
• Ordinal recursive complexity of unordered data nets
• Verifying asynchronous event-driven programs using partial abstract transformers

This page was built for publication: Analysis of asynchronous programs with event-based synchronization

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2802452)