Hildebrandt, Thomas Troels
-
BRICS Report Series No. 10 (1997): RS-10 Transition Systems with Independence and Multi-Arcs - Articles
Transition Systems with Independence and Multi-Arcs
Abstract PDF -
BRICS Report Series No. 36 (1997): RS-36 Relational Semantics of Non-Deterministic Dataflow - Articles
Relational Semantics of Non-Deterministic Dataflow
Abstract PDF -
BRICS Report Series No. 18 (1996): RS-18 Comparing Transition Systems with Independence and Asynchronous Transition Systems - Articles
Comparing Transition Systems with Independence and Asynchronous Transition Systems
Abstract PDF -
BRICS Report Series No. 28 (1999): RS-28 A Fully Abstract Presheaf Semantics of SCCS with Finite Delay - Articles
A Fully Abstract Presheaf Semantics of SCCS with Finite Delay
Abstract PDF -
BRICS Report Series No. 4 (1999): RS-4 On Plain and Hereditary History-Preserving Bisimulation - Articles
On Plain and Hereditary History-Preserving Bisimulation
Abstract PDF