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