Autor der Publikation

Towards a Logic for Performance and Mobility.

, , , und . QAPL, Volume 153 von Electronic Notes in Theoretical Computer Science, Seite 161-175. Elsevier, (2005)

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

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)Observation Trees., , und . NAPAW, Seite 103-118. Springer, (1992)Defining and guaranteeing dynamic service levels in clouds., , , und . Future Gener. Comput. Syst., (2019)Verification of Distributed Systems via Sequential Emulation., , und . ACM Trans. Softw. Eng. Methodol., 31 (3): 37:1-37:41 (2022)Swinging in the States: Does disinformation on Twitter mirror the US presidential election system?, , , und . WWW (Companion Volume), Seite 1395-1403. ACM, (2023)A formal approach to autonomic systems programming: the SCEL language.. ICTCS, Volume 1231 von CEUR Workshop Proceedings, Seite 1. CEUR-WS.org, (2014)Online User Behavioural Modeling with Applications to Price Steering., , , und . FINREC, Volume 1606 von CEUR Workshop Proceedings, Seite 16-21. CEUR-WS.org, (2016)Intuitive Modelling and Formal Analysis of Collective Behaviour in Foraging Ants., , , und . CMSB, Volume 14137 von Lecture Notes in Computer Science, Seite 44-61. Springer, (2023)