Quantifying the Discord: Order Discrepancies in Message Sequence Charts

DOI10.1007/978-3-540-75596-8_27MaRDI QIDQ3510808zbMATH OpenOpenAlexFDO

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

Recommendations

• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS
• scientific article; zbMATH DE number 1515849
• The theory of message sequence charts
• Foundations of Software Science and Computation Structures
• Checking MSC specifications for timing inconsistency

Cites work

• A Theorem on Boolean Matrices
• Bounded MSC communication
• Detecting Races in Ensembles of Message Sequence Charts
• scientific article; zbMATH DE number 1418329 (Why is no real title available?)
• LSCs: Breathing life into message sequence charts
• Maintaining knowledge about temporal intervals
• On Communicating Finite-State Machines
• Quantifying the Discord: Order Discrepancies in Message Sequence Charts
• Realizability and verification of MSC graphs
• Reasoning about temporal relations, the tractable subalgebras of Allen's interval algebra

Cited in

(2)

• Quantifying the Discord: Order Discrepancies in Message Sequence Charts
• QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS

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

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