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. 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. 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. 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. 2 (1996): RS-2 Open Maps, Behavioural Equivalences, and Congruences - Articles
Open Maps, Behavioural Equivalences, and Congruences
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. 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. 8 (1994): RS-8 Decidability Issues for Petri Nets - Articles
Decidability Issues for Petri Nets
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. 7 (1994): RS-7 Bisimulation from Open Maps - Articles
Bisimulation from Open Maps
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. 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 -
BRICS Report Series No. 23 (2005): RS-23 A Framework for Concrete Reputation-Systems - Articles
A Framework for Concrete Reputation-Systems
Abstract PDF