Autor der Publikation

A Concurrent Temporal Programming Model with Atomic Blocks.

, , , und . ICFEM, Volume 7635 von Lecture Notes in Computer Science, Seite 22-37. Springer, (2012)

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

Operational semantics of Framed Tempura., und . J. Log. Algebr. Program., 78 (1): 22-51 (2008)Verifying Concurrent Stacks by Divergence-Sensitive Bisimulation., , , und . CoRR, (2017)An Interpreter for Framed Tempura and Its Application., , , und . TASE, Seite 251-260. IEEE Computer Society, (2007)Branching Bisimulation and Concurrent Object Verification., , , , und . DSN, Seite 267-278. IEEE Computer Society, (2018)An Adaptive Strategy for an Immersive Visuo-Haptic Attention Training Game., , und . EuroHaptics (1), Volume 9774 von Lecture Notes in Computer Science, Seite 441-451. Springer, (2016)A temporal programming model with atomic blocks based on projection temporal logic., , , und . Frontiers of Computer Science, 8 (6): 958-976 (2014)Framed temporal logic programming., , und . Sci. Comput. Program., 70 (1): 31-61 (2008)Probabilistic Model Checking for Propositional Projection Temporal Logic. CoRR, (2010)Performance Evaluation of Concurrent Data Structures., , und . SETTA, Volume 9984 von Lecture Notes in Computer Science, Seite 38-49. (2016)A Probabilistic Variant of Projection Temporal Logic. CoRR, (2011)