( en | de | ru )

 

Disambiguation of "Nielsen, Mogens"

Author of the publication

copydeleteadd this publication to your clipboard
Notes on Timed Concurrent Constraint Programming.

, and . Lectures on Concurrency and Petri Nets, volume 3098 of Lecture Notes in Computer Science, page 702-741. Springer, (2003)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Mogens Hasse

Mogens Matell

Mogens Poppe

Mogens Harbou

Mogens Heusinger

 

Other publications of authors with the same name

A Classification of Models for Concurrency., , and . CONCUR, volume 715 of Lecture Notes in Computer Science, page 82-96. Springer, (1993)The RAISE Language, Method and Tools., , , and . VDM Europe, volume 328 of Lecture Notes in Computer Science, page 376-405. Springer, (1988)Petri Nets and Other Models of Concurrency., and . Petri Nets, volume 1491 of Lecture Notes in Computer Science, page 587-642. Springer, (1996)A Calculus for Trust Management., , and . FSTTCS, volume 3328 of Lecture Notes in Computer Science, page 161-173. Springer, (2004)Without Title.. Bulletin of the EATCS, (1993)A calculus of communicating systems with label passing - ten years after., and . Proof, Language, and Interaction, page 599-622. The MIT Press, (2000)A logical framework for history-based access control and reputation systems., , and . J. Comput. Secur., 16 (1): 63-101 (2008)Relationships Between Models of Concurrency, , and . A Decade of Concurrency, Reflections and Perspectives, REX School/Symposium, page 425--476. London, UK, Springer-Verlag, (1994)Automated Logical Verification Based on Trace Abstractions., , and . PODC, page 101-110. ACM, (1996)Temporal Concurrent Constraint Programming: Applications and Behavior., and . Formal and Natural Computing, volume 2300 of Lecture Notes in Computer Science, page 298-324. Springer, (2002)