Computer Science University of Aarhus / Computer Science University of Aarhus Ny Munkegade / University of Aarhus IT-parken / The store / /
IndustryTerm
concurrent systems / information processing / labelled transition systems / transition systems / /
Organization
Danish National Research Foundation / University of Aarhus IT-parken / BRICS Department / University of Aarhus / Computer Science University of Aarhus Ny Munkegade / Department of Computer Science / /
BRICS RS-05-8 P. D. Mosses: Exploiting Labels in Structural Operational Semantics BRICS Basic Research in Computer Science