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

RR5554

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

Keywords

[ Partial orders ] [ Unfoldings ]

Contact

Eric Fabre http://people.rennes.inria.fr/Eric.Fabre/

BibTex Reference

@TechReport{RR5554,
   Author = {Fabre, E.},
   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)