Autor der Publikation

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

Observation Trees., , und . NAPAW, Seite 103-118. Springer, (1992)CCS is an (Augmented) Contact Free C/E System., , und . Mathematical Models for the Semantics of Parallelism, Volume 280 von Lecture Notes in Computer Science, Seite 144-165. Springer, (1986)An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , und . CAV, Volume 575 von Lecture Notes in Computer Science, Seite 37-47. Springer, (1991)A Completeness Theorem fro Nondeterministic Kleene Algebras., und . MFCS, Volume 841 von Lecture Notes in Computer Science, Seite 536-545. Springer, (1994)An Action-Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems., , , und . Computer Networks and ISDN Systems, 25 (7): 761-778 (1993)On the expressive power of KLAIM-based calculi., , und . Theor. Comput. Sci., 356 (3): 387-421 (2006)Model checking mobile stochastic logic., , , , und . Theor. Comput. Sci., 382 (1): 42-70 (2007)The DReAM framework for dynamic reconfigurable architecture modelling: theory and applications., , und . Int. J. Softw. Tools Technol. Transf., 22 (4): 437-455 (2020)A formal approach to the engineering of domain-specific distributed systems., , , und . J. Log. Algebraic Methods Program., (2020)Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?, , , und . WWW (Companion Volume), Seite 1395-1403. ACM, (2023)