Nielsen, Mogens
-
DAIMI Report Series Nr. 8 (1973): PB-8 On Decomposition of Stochastic Finite-State Systems - Articles
On Decomposition of Stochastic Finite-State Systems
Resumé PDF (English) -
DAIMI Report Series Nr. 20 (1973): PB-20 On the Decidability of some Equivalence Problems for D0L-Systems - Articles
On the Decidability of some Equivalence Problems for D0L-Systems
Resumé PDF (English) -
DAIMI Report Series Nr. 21 (1974): PB-21 Nonterminals, Homomorphisms, and Codings in Different Variations of 0L-Systems - Articles
Nonterminals, Homomorphisms, and Codings in Different Variations of 0L-Systems
Resumé PDF (English) -
DAIMI Report Series Nr. 37 (1974): PB-37 EOL and ETOL Systems with Control Devices - Articles
EOL and ETOL Systems with Control Devices
Resumé PDF (English) -
DAIMI Report Series Nr. 353 (1991): PB-353 Transition Systems, Event Structures and Unfoldings - Articles
Transition Systems, Event Structures and Unfoldings
Resumé PDF (English) -
DAIMI Report Series Nr. 310 (1990): PB-310 Elementary transition systems - Articles
Elementary transition systems
Resumé PDF (English) -
DAIMI Report Series Nr. 456 (1993): PB-456 Relationships between Models of Concurency - Articles
Relationships between Models of Concurency
Resumé PDF (English) -
DAIMI Report Series Nr. 467 (1994): PB-467 Bisimulations, Games and Logic - Articles
Bisimulations, Games and Logic
Resumé PDF (English) -
DAIMI Report Series Nr. 180 (1984): PB-180 Degrees of Non-determinism and Concurrency: A Petri Net View - Articles
Degrees of Non-determinism and Concurrency: A Petri Net View
Resumé PDF (English) -
DAIMI Report Series Nr. 281 (1989): PB-281 Behavioural Notions for Elementary Net Systems - Articles
Behavioural Notions for Elementary Net Systems
Resumé PDF (English) -
DAIMI Report Series Nr. 346 (1991): PB-346 Elementary Transition Systems and Refinement - Articles
Elementary Transition Systems and Refinement
Resumé PDF (English) -
DAIMI Report Series Nr. 463 (1993): PB-463 Models for Concurrency - Articles
Models for Concurrency
Resumé PDF (English) -
DAIMI Report Series Nr. 208 (1986): PB-208 A Calculus of Communicating Systems with Label Passing - Articles
A Calculus of Communicating Systems with Label Passing
Resumé PDF (English) -
DAIMI Report Series Nr. 205 (1986): PB-205 Notions of Realizable Non-Sequential Processes - Articles
Notions of Realizable Non-Sequential Processes
Resumé PDF (English) -
DAIMI Report Series Nr. 429 (1992): PB-429 Models for Concurrency - Articles
Models for Concurrency
Resumé PDF (English) -
DAIMI Report Series Nr. 392 (1992): PB-392 Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24) - Articles
Models, Languages and Logics for Concurrent Distributed Systems: CEDISYS Workshop (Aarhus, 1991, May 21--24)
Resumé PDF (English) -
DAIMI Report Series Nr. 395 (1992): PB-395 CCS, Locations and Asynchronous Transition Systems - Articles
CCS, Locations and Asynchronous Transition Systems
Resumé PDF (English)