Quantifying the discord: Order discrepancies in Message Sequence Charts

Edith Elkind (1) , Blaise Genest (2, 3) , Doron Peled (4) , Paola Spoletini (5)

1 NTU - Nanayang Technological University
2 DISTRIBCOM - Distributed and Iterative Algorithms for the Management of Telecommunications Systems
3 IPAL - Image & Pervasive Access Lab
4 Department of Computer Science [Bar Ilan]
5 DSCPI - Department of the Sciences of Culture, Politics and Information

Edith Elkind, Blaise Genest, Doron Peled, and Paola Spoletini. \newblock Quantifying the discord: Order discrepancies in Message Sequence Charts, special issue of ATVA 2007. \newblock {\em International Journal of Foundations of Computer Science (IJFCS)} 21(2): 211-233, WorldSciNet, 2010.

Domaines: Autre [cs.OH]

Edith Elkind, Blaise Genest, Doron Peled, Paola Spoletini. Quantifying the discord: Order discrepancies in Message Sequence Charts. International Journal of Foundations of Computer Science, 2010, pp.211-233. ⟨hal-00591762⟩