Jump to : Note | Keywords | Contact | BibTex reference | EndNote reference |

BenvenistePI-1636

A. Benveniste, S. Haar, C. Fabre, C. Jard. Distributed monitoring of concurrent and asynchronous systems - extended version (update of research report PI-1540). Research Report IRISA, No 1636, 2004.

Note on this paper

Partial orders, scenarios, unfolding

Keywords

[ Partial orders ] [ Unfolding ]

Contact

Albert Benveniste http://www.irisa.fr/distribcom
Stefan Haar http://www.irisa.fr/distribcom
Claude Jard http://www.irisa.fr/distribcom

BibTex Reference

@TechReport{BenvenistePI-1636,
   Author = {Benveniste, A. and Haar, S. and Fabre, C. and Jard, C.},
   Title = {Distributed monitoring of concurrent and asynchronous systems - extended    version (update of research report PI-1540)},
   Number = {1636},
   Institution = {IRISA},
   Month = {},
   Year = {2004}
}

EndNote Reference [help]

Get EndNote Reference (.ref)