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

Fabre07a

Eric Fabre. Trellis Processes: a Compact Representation for Runs of Concurrent Systems. Journal of Discrete Event Dynamical Systems, 17(3):267-306, 2007.

Keywords

[ Partial orders ] [ Unfolding ]

Contact

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

BibTex Reference

@article{Fabre07a,
   Author = {Fabre, Eric},
   Title = {Trellis Processes: a Compact Representation for Runs of Concurrent    Systems},
   Journal = {Journal of Discrete Event Dynamical Systems},
   Volume = {17},
   Number = {3},
   Pages = {267--306},
   Year = {2007}
}

EndNote Reference [help]

Get EndNote Reference (.ref)