GenestMP03

Blaise Genest, Anca Muscholl, Doron Peled. Message Sequence Charts. In Lectures on Concurrency and Petri Nets, Volume LNCS 3098, Pages 537-558, 2003.

Keywords

[ Partial orders ] [ Scenarios ]

Contact

Blaise Genest http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{GenestMP03,
   Author = {Genest, Blaise and Muscholl, Anca and Peled, Doron},
   Title = {Message Sequence Charts},
   BookTitle = {Lectures on Concurrency and Petri Nets},
   Volume = {LNCS 3098},
   Pages = {537--558},
   Year = {2003}
}

EndNote Reference [help]

Get EndNote Reference (.ref)