Mogens Nielsen

Mogens Nielsen

Aarhus University - Aarhus / Denmark
Engineering & Technology / Computer Science
AD Scientific Index ID: 1435329
Aarhus Universitet
person_outline Mogens Nielsen's MOST POPULAR ARTICLES
1-) Petri nets, event structures and domains, part IM Nielsen, G Plotkin, G WinskelTheoretical Computer Science 13 (1), 85-108, 198113191981
2-) Models for ConcurrencyG Winskel, M NielsenMFCS\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'91, 19919441991
3-) Decidability Issues for Petri NetsJ Esparza, M NielsenJournal of Information Processing and Cybernet. EIK 30 (3), 143-160, 19945991994
4-) Bisimulation from open mapsM Nielsen, A Joyal, G WinskelInformation and Computation 127 (2), 164-185, 1996510*1996
5-) Bisimulation and open mapsA Joyal, M Nielson, G WinskelLogic in Computer Science, 1993. LICS\'93., Proceedings of Eighth Annual IEEE …, 19935061993