Autor der Publikation

From Eventual to Atomic Locally Atomic CC Programs: A Concurrent Semantics.

, , , und . ALP, Volume 850 von Lecture Notes in Computer Science, Seite 114-132. Springer, (1994)

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

Soft constraints for KnowLang., und . C3S2E, Seite 99-103. ACM, (2012)Liveness Properties as Convergence in Metric Spaces, und . STOC, Seite 31-38. ACM, (1984)Mapping Fusion and Synchronized Hyperedge Replacement into logic programming., und . Theory Pract. Log. Program., 7 (1-2): 123-151 (2007)Connector Algebras, Petri Nets, and BIP., , und . Ershov Memorial Conference, Volume 7162 von Lecture Notes in Computer Science, Seite 19-38. Springer, (2011)Revisiting causality, coalgebraically., , und . Acta Inf., 52 (1): 5-33 (2015)On the Minimization of READ-ONLY Memories in Microprogrammed Digital Computers., und . IEEE Trans. Computers, 19 (11): 1111-1114 (1970)Concurrency and Probability: Removing Confusion, Compositionally., , und . CoRR, (2017)Dynamic Programming on Nominal Graphs., , und . GaM, Volume 181 von EPTCS, Seite 80-96. (2015)D-Fusion: A Distinctive Fusion Calculus., , und . APLAS, Volume 3302 von Lecture Notes in Computer Science, Seite 296-310. Springer, (2004)Executing Transactions in Zero-Safe Nets., und . ICATPN, Volume 1825 von Lecture Notes in Computer Science, Seite 83-102. Springer, (2000)