Autor der Publikation

Behaviour, Interaction and Dynamics.

, , und . Specification, Algebra, and Software, Volume 8373 von Lecture Notes in Computer Science, Seite 382-401. Springer, (2014)

Bitte wählen Sie eine Person um die Publikation zuzuordnen

Um zwischen Personen mit demselben Namen zu unterscheiden, wird der akademische Grad und der Titel einer wichtigen Publikation angezeigt. Zudem lassen sich über den Button neben dem Namen einige der Person bereits zugeordnete Publikationen anzeigen.

 

Weitere Publikationen von Autoren mit dem selben Namen

Final semantics for the pi-calculus., , , und . PROCOMET, Volume 125 von IFIP Conference Proceedings, Seite 225-243. Chapman & Hall, (1998)Liveness Properties as Convergence in Metric Spaces, und . STOC, Seite 31-38. ACM, (1984)Soft constraints for KnowLang., und . C3S2E, Seite 99-103. ACM, (2012)Labeled Event Structures: A Model for Observable Concurrency., , und . Formal Description of Programming Concepts, Seite 383-400. North-Holland, (1982)Reactive systems, (semi-)saturated semantics and coalgebras on presheaves., und . Theor. Comput. Sci., 410 (41): 4044-4066 (2009)Partial Order and Contextual Net Semantics for Atomic and Locally Atomic CC Programs., , , und . Sci. Comput. Program., 30 (1-2): 51-82 (1998)Graph rewriting with unification and composition, , und . Graph-Grammars and Their Application to Computer Science, 3rd International Workshop, Warrenton, Virginia, USA, December 2–6, 1986, Volume 291 von Lecture Notes in Computer Science, Seite 496-514. Springer, (1987)The tile model., und . Proof, Language, and Interaction, Seite 133-166. The MIT Press, (2000)Executing Transactions in Zero-Safe Nets., und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2000)Optimal Smoothing in Picture Processing: An Application to Fingerprints., und . IFIP Congress (1), Seite 173-178. North-Holland, (1971)