Nielsen, Mogens

• BRICS Report Series No. 4 (1998): RS-04 Timed Bisimulation and Open Maps - Articles
  Timed Bisimulation and Open Maps
  Abstract  PDF
• BRICS Report Series No. 4 (1995): RS-04 Petri Nets and Bisimulations - Articles
  Petri Nets and Bisimulations
  Abstract  PDF
• BRICS Report Series No. 55 (1995): RS-55 Behavioural Equivalence for Infinite Systems—Partially Decidable! - Articles
  Behavioural Equivalence for Infinite Systems—Partially Decidable!
  Abstract  PDF
• BRICS Report Series No. 48 (2001): RS-48 Temporal Concurrent Constraint Programming: Applications and Behavior - Articles
  Temporal Concurrent Constraint Programming: Applications and Behavior
  Abstract  PDF
• BRICS Report Series No. 15 (1994): RS-15 Petri Nets and Bisimulations - Articles
  Petri Nets and Bisimulations
  Abstract  PDF
• BRICS Report Series No. 6 (1994): RS-6 Bisimulations, Games, and Logic - Articles
  Bisimulations, Games, and Logic
  Abstract  PDF
• BRICS Report Series No. 22 (2002): RS-22 On the Expressive Power of Concurrent Constraint Programming Languages - Articles
  On the Expressive Power of Concurrent Constraint Programming Languages
  Abstract  PDF
• BRICS Report Series No. 7 (1994): RS-7 Bisimulation from Open Maps - Articles
  Bisimulation from Open Maps
  Abstract  PDF
• BRICS Report Series No. 2 (1996): RS-2 Open Maps, Behavioural Equivalences, and Congruences - Articles
  Open Maps, Behavioural Equivalences, and Congruences
  Abstract  PDF
• BRICS Report Series No. 23 (2005): RS-23 A Framework for Concrete Reputation-Systems - Articles
  A Framework for Concrete Reputation-Systems
  Abstract  PDF
• BRICS Report Series No. 4 (2003): RS-4 A Formal Model for Trust in Dynamic Networks - Articles
  A Formal Model for Trust in Dynamic Networks
  Abstract  PDF
• BRICS Report Series No. 12 (1994): RS-12 Models for Concurrency - Articles
  Models for Concurrency
  Abstract  PDF
• BRICS Report Series No. 23 (1995): RS-23 Open Maps (at) Work - Articles
  Open Maps (at) Work
  Abstract  PDF
• BRICS Report Series No. 1 (1999): RS-1 Hereditary History Preserving Simulation is Undecidable - Articles
  Hereditary History Preserving Simulation is Undecidable
  Abstract  PDF
• BRICS Report Series No. 8 (1994): RS-8 Decidability Issues for Petri Nets - Articles
  Decidability Issues for Petri Nets
  Abstract  PDF
• BRICS Report Series No. 19 (1999): RS-19 Hereditary History Preserving Bisimilarity is Undecidable - Articles
  Hereditary History Preserving Bisimilarity is Undecidable
  Abstract  PDF
• BRICS Report Series No. 53 (1995): RS-53 Automated Logical Verification based on Trace Abstractions - Articles
  Automated Logical Verification based on Trace Abstractions
  Abstract  PDF
• BRICS Report Series No. 54 (1995): RS-54 A Case Study in Automated Verification Based on Trace Abstractions - Articles
  A Case Study in Automated Verification Based on Trace Abstractions
  Abstract  PDF