Nielsen, Mogens, 1949-...
Nielsen, M. (Mogens), 1949-
Nielsen, Mogens f. 1949
Nielsen, Mogens
Mogens Nielsen
VIAF ID: 3819776 (Personal)
Permalink: http://viaf.org/viaf/3819776
Preferred Forms
- 100 0 _ ‡a Mogens Nielsen
-
-
-
-
- 100 1 _ ‡a Nielsen, M. ‡q (Mogens), ‡d 1949-
-
-
-
-
- 100 1 _ ‡a Nielsen, Mogens ‡d f. 1949
-
- 100 1 _ ‡a Nielsen, Mogens, ‡d 1949-
-
-
- 100 1 _ ‡a Nielsen, Mogens, ‡d 1949-...
4xx's: Alternate Name Forms (8)
Works
Title | Sources |
---|---|
Automata, languages, and programming : ninth colloquium, Aarhus, Denmark, July 12-16, 1982 | |
Automated logical verification based on trace abstractions | |
Bisimulations, games and logic | |
CCS - locations and asynchronous transition systems | |
Computer science logic : 11th international workshop, CSL '97 : annual conference of the EACSL, Aarhus, Denmark, August 23-29, 1997 : selected papers | |
CONCUR 2001 : concurrency theory : 12th international conference, Aalborg, Denmark, August 20-25, 2001, proceedings | |
CSL'97 | |
Decidability issues for Petri nets | |
FOSSACS 2002 | |
Foundations of software science and computation structures : 5th international conference, FOSSACS 2002, held as part of the Joint European Conferences on Theory and Practice of Software, ETAPS 2002, Grenoble, France, April 8-12, 2002 : proceedings | |
Hereditary history preserving simulation is undecidable | |
ICALP 82 | |
ICATPN 2000 | |
Mathematical foundations of computer science 2000 : 25th international symposium, MFCS 2000, Bratislava, Slovakia, August 28 - September 1, 2000 ; proceedings | |
MFCS 2000 | |
Models, languages and logics for concurrent distributed systems | |
n82087539 | |
Nej tak til aktiv dødshjælp | |
On the expressive power of concurrent constraint programming languages | |
Open maps (at) work | |
Open maps, behavioural equivalences, and congruences | |
Petri nets, event structures and domains, part I | |
Relationships between models of concurrency | |
Selected papers of TAPSOFT '95 | |
SOFSEM 2009 : theory and practice of computer science : 35th Conference on Current Trends in Theory and Practice of Computer Science, Špindlerův Mlýn, Czech Republic, January 24-30, 2009 : proceedings | |
TAPSOFT '95 : theory and practice of software development / Peter D. Mosses, Mogens Nielsen, Michael I. Schwartzbach (eds.). - Berlin, 1995. | |
Theory of reversible computing | |
Timed bisimulation and open maps |