Quantifying the Discord: Order Discrepancies in Message Sequence Charts

DOI10.1007/978-3-540-75596-8_27zbMath1141.68504OpenAlexW1948461533MaRDI QIDQ3510808

Edith Elkind, Doron A. Peled, Blaise Genest, Paola Spoletini

Publication date: 3 July 2008

Published in: Automated Technology for Verification and Analysis (Search for Journal in Brave)

Full work available at URL: https://eprints.soton.ac.uk/264316/1/EGPS07.pdf

Mathematics Subject Classification ID

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

Related Items (1)

Quantifying the Discord: Order Discrepancies in Message Sequence Charts

Cites Work

• Unnamed Item
• Maintaining knowledge about temporal intervals
• Realizability and verification of MSC graphs
• Bounded MSC communication
• Reasoning about temporal relations
• Quantifying the Discord: Order Discrepancies in Message Sequence Charts
• On Communicating Finite-State Machines
• A Theorem on Boolean Matrices
• Detecting Races in Ensembles of Message Sequence Charts
• LSCs: Breathing life into message sequence charts

This page was built for publication: Quantifying the Discord: Order Discrepancies in Message Sequence Charts