Volgen
Mogens Nielsen
Mogens Nielsen
Professor of Computer Science, Aarhus University
Geverifieerd e-mailadres voor cs.au.dk
Titel
Geciteerd door
Geciteerd door
Jaar
Petri nets, event structures and domains, part I
M Nielsen, G Plotkin, G Winskel
Theoretical Computer Science 13 (1), 85-108, 1981
13091981
Handbook of Logic in Computer Science. Vol. 4: Semantic Modelling, chapter Models for Concurrency
G Winskel, M Nielsen
Oxford Science Publications, 1995
1030*1995
Models for Concurrency
G Winskel, M Nielsen
MFCS'91, 1991
939*1991
Decidability issues for Petri nets
J Esparza, M Nielsen
BRICS Report Series 1 (8), 1994
5681994
Decidability Issues for Petri Nets
J Esparza, M Nielsen
Journal of Information Processing and Cybernet. EIK 30 (3), 143-160, 1994
5661994
Using trust for secure collaboration in uncertain environments
V Cahill, E Gray, JM Seigneur, CD Jensen, Y Chen, B Shand, N Dimmock, ...
Pervasive Computing, IEEE 2 (3), 52-61, 2003
4962003
Bisimulation from open maps
M Nielsen, A Joyal, G Winskel
Information and Computation 127 (2), 164-185, 1996
474*1996
Bisimulation and open maps
A Joyal, M Nielson, G Winskel
Logic in Computer Science, 1993. LICS'93., Proceedings of Eighth Annual IEEE …, 1993
4701993
A formal model for trust in dynamic networks
M Carbone, M Nielsen, V Sassone
First International Conference onSoftware Engineering and Formal Methods …, 2003
3212003
Elementary transition systems
M Nielsen, G Rozenberg, PS Thiagarajan
DAIMI Report Series, 1990
2521990
Models for concurrency: Towards a classification
V Sassone, M Nielsen, G Winskel
Theoretical Computer Science 170 (1-2), 297-348, 1996
1641996
A calculus of communicating systems with label passing
U Engberg, M Nielsen
Aarhus Universitet, Matematisk Institut, Datalogisk Afdeling, 1986
1461986
Temporal concurrent constraint programming: Denotation, logic and applications
M Nielsen, C Palamidessi, FD Valencia
Nord. J. Comput. 9 (1), 145-188, 2002
1402002
Petri nets, event structures and domains
G Plotkin, G Winskel, ...
University of Edinburgh, 1979
1361979
Relationships between models of concurrency
M Nielsen, V Sassone, G Winskel
Workshop/School/Symposium of the REX Project (Research and Education in …, 1993
1091993
Petri nets and bisimulation
M Nielsen, G Winskel
Theoretical Computer Science 153 (1-2), 211-244, 1996
951996
A bayesian model for event-based trust
M Nielsen, K Krukow, V Sassone
Electronic Notes in Theoretical Computer Science 172, 499-521, 2007
932007
A Simple Process Language with Refinement
M Nielsen, U Engberg, K Larsen
REX Workshop on Linear Time, Branching time and Partial Order in Logics and …, 1988
84*1988
A classification of models for concurrency
V Sassone, M Nielsen, G Winskel
CONCUR'93, 82-96, 1993
831993
Behavioural notions for elementary net systems
M Nielsen, G Rozenberg, PS Thiagarajan
Distributed Computing 4 (1), 45-57, 1990
801990
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–20