UFO07Claude

C. Jard. Concurrent Operational Semantics of Safe Time Petri Nets. In UFO, Workshop on Unfoldings and Partial Order Techniques, Pages 19-31, 2007.

Note on this paper

invited talk

Keywords

[ Partial orders ] [ Unfolding ]

Contact

Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@InProceedings{UFO07Claude,
   Author = {Jard, C.},
   Title = {Concurrent Operational Semantics of Safe Time Petri Nets},
   BookTitle = {UFO, Workshop on Unfoldings and Partial Order Techniques},
   Pages = {19--31},
   Month = {},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)