First Page | Meta Content | |
---|---|---|
![]() | Document Date: 2009-12-08 12:42:43Open Document File Size: 459,13 KBShare Result on FacebookCompanyLabelled Transition Systems / Labelled Event Structures 449 Unfolding Transition Systems / Deterministic Transition Systems / /CountryDenmark / /FacilityAarhus University / /IndustryTermtransition systems transition systems / categorical tool / independence transition systems / transition systems / tree-shaped transition systems / /OrganizationAarhus University / Computer Science Department / /PersonVladimiro Sassone / /Positionrepresentative / universally accepted representative / /TechnologyDSL / /SocialTag |