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 |
![]() |