СТ |
Temporal Concurrent Constraint Programming: Applications and Behavior |
2002 |
Nielsen M., Valencia F. D. |
|
|
|
Lecture Notes in Computer Science |
14.03.2002 |
СТ |
Properties of Distributed Timed-Arc Petri Nets |
2001 |
Nielsen M., Sassone V., Srba J. |
|
|
|
Lecture Notes in Computer Science |
22.12.2001 |
СТ |
A Case Study in Verification Based on Trace Abstractions |
1996 |
Klarlund N., Nielsen M., Sunesen K. |
|
|
|
Lecture Notes in Computer Science |
24.12.1996 |
СТ |
Behavioural Equivalence for Infinite Systems - Partially Decidable! |
1996 |
Sunesen K., Nielsen M. |
|
|
|
Lecture Notes in Computer Science |
01.08.1996 |
СТ |
Observing Behaviour Categorically |
1995 |
Nielsen M., Cheng A. |
|
|
|
Lecture Notes in Computer Science |
31.01.1996 |
П |
The Intrinsic Structure of the Optic Flow Field |
1994 |
Florack L., Nielsen M. |
|
|
INRIA |
|
20.10.1995 |
СТ |
Characterizing Behavioural Congruences for Petri Nets |
1995 |
Nielsen M., Priese L., Sassone V. |
Lecture Notes in Computer Science |
|
|
CONCUR 95: Concurrency Theory |
14.10.1995 |
СТ |
A Note of Observable Occurrence Nets |
1988 |
Fernandez C., Nielsen M., Thiagarajan P. S. |
|
|
|
Petri Nets Tutorial |
05.10.1995 |
СТ |
Bisimulation for Models in Concurrency |
1994 |
Nielsen M., Clausen C. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
СТ |
Relationships Between Models of Concurrency |
1994 |
Nielsen M., Sassone V., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
05.08.1994 |
СТ |
The Concurrency Column |
1994 |
Nielsen M. |
|
|
|
EATCS Bull. |
27.07.1994 |
СТ |
Bisimulation, Games, and Logic |
1994 |
Nielsen M., Clausen C. |
|
|
|
Lecture Notes in Computer Science |
12.07.1994 |
СТ |
Decidability Issues for Petri Nets - a servey |
1994 |
Esparza J., Nielsen M. |
|
|
|
EATCS Bull. |
20.04.1994 |
СТ |
Deterministic Behavioural Models for Concurrency |
1993 |
Sassone V., Nielsen M., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
21.10.1993 |
СТ |
A Classification of Models for Concurrency |
1993 |
Sassone V., Nielsen M., Winskel G. |
|
|
|
Lecture Notes in Computer Science |
19.10.1993 |
СТ |
CCS, Locations and Asynchronous Transition Systems |
1992 |
Mukund M., Nielsen M. |
|
|
|
Lecture Notes in Computer Science |
28.12.1992 |
СТ |
Elementary Transition Systems and Refinement |
1992 |
Nielsen M., Rozenberg C., Thiagarajan P. S. |
|
|
|
Acta Informatica |
16.12.1992 |