Detecting Races in Ensembles of Message Sequence Charts

DOI10.1007/978-3-540-71209-1_32MaRDI QIDQ5758125zbMATH OpenOpenAlexFDO

Authors Edith Elkind, Blaise Genest, Doron 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

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

Recommendations

• Programming Languages and Systems
• scientific article; zbMATH DE number 1728524
• A hierarchy of communication models for message sequence charts
• scientific article; zbMATH DE number 1418329
• scientific article; zbMATH DE number 1759427

Cited in

(2)

• Programming Languages and Systems
• Quantifying the Discord: Order Discrepancies in Message Sequence Charts

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

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