Detecting Races in Ensembles of Message Sequence Charts

DOI10.1007/978-3-540-71209-1_32zbMath1186.68319OpenAlexW1600229119MaRDI QIDQ5758125

Blaise Genest, Edith Elkind, Doron A. Peled

Publication date: 3 September 2007

Published in: Tools and Algorithms for the Construction and Analysis of Systems (Search for Journal in Brave)

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

Mathematics Subject Classification ID

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)

Quantifying the Discord: Order Discrepancies in Message Sequence Charts

This page was built for publication: Detecting Races in Ensembles of Message Sequence Charts