Back to Results
First PageMeta Content
Computer science / Petri net / State transition system / Structure / Formal language / Model theory / Curry–Howard correspondence / Denotational semantics / Models of computation / Mathematics / Theoretical computer science


Document Date: 2009-12-08 12:42:43

Open Document

File Size: 459,13 KB

Share Result on Facebook

Company

Labelled Transition Systems / Labelled Event Structures 449 Unfolding Transition Systems / Deterministic Transition Systems / /

Country

Denmark / /

Facility

Aarhus University / /

IndustryTerm

transition systems transition systems / categorical tool / independence transition systems / transition systems / tree-shaped transition systems / /

Organization

Aarhus University / Computer Science Department / /

Person

Vladimiro Sassone / /

Position

representative / universally accepted representative / /

Technology

DSL / /

SocialTag