RR5554

Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Research Report INRIA Research Report RR5554, April 2005.

Keywords

[ Partial orders ] [ Unfolding ]

Contact

Eric Fabre http://www.irisa.fr/distribcom

BibTex Reference

@TechReport{RR5554,
   Author = {Fabre, Eric},
   Title = {Trellis Processes: a Compact Representation for Runs of Concurrent    Systems},
   Institution = {INRIA Research Report RR5554},
   Month = {April},
   Year = {2005}
}

EndNote Reference [help]

Get EndNote Reference (.ref)