QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS

DOI10.1142/S0129054110007210zbMath1200.68046OpenAlexW2031338514MaRDI QIDQ3552521

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

Publication date: 22 April 2010

Published in: International Journal of Foundations of Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1142/s0129054110007210

zbMATH Keywords

discordmessage sequence chartsorder discrepancies

Mathematics Subject Classification ID

Semisimple Lie groups and their representations (22E46) Differential geometry of symmetric spaces (53C35) Network protocols (68M12) Noncompact Lie groups of transformations (57S20)

Cites Work

• Maintaining knowledge about temporal intervals
• Realizability and verification of MSC graphs
• Bounded MSC communication
• Reasoning about temporal relations
• Model Checking: From Tools to Theory
• On Communicating Finite-State Machines
• A Theorem on Boolean Matrices
• LSCs: Breathing life into message sequence charts

This page was built for publication: QUANTIFYING THE DISCORD: ORDER DISCREPANCIES IN MESSAGE SEQUENCE CHARTS