( en | de | ru )

 

Disambiguierung von "Gerth, Rob"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Proof System for Brinch Hansen's Distributed Processes.

, , und . GI Jahrestagung, Volume 50 von Informatik-Fachberichte, Seite 88-95. Springer, (1981)

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.

Klaus Rob

Theodor Rob

Rob Cornelissen

Beatrice Rob

Paul Rob

 

Weitere Publikationen von Autoren mit dem selben Namen

Sequential Consistency and the Lazy Caching Algorithm.. Distributed Comput., 12 (2-3): 57-59 (1999)A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.. ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 252-264. Springer, (1982)A Proof System for Concurrent ADA Programs., und . Sci. Comput. Program., 4 (2): 159-204 (1984)Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language., , und . POPL, Seite 223-237. ACM Press, (1987)Partial-order Reduction Techniques for Real-time Model Checking., , , und . Formal Aspects Comput., 10 (5-6): 469-482 (1998)Interface Refinement in Reactive Systems (Extended Abstract)., , und . CONCUR, Volume 630 von Lecture Notes in Computer Science, Seite 77-93. Springer, (1992)Simple on-the-fly automatic verification of linear temporal logic., , , und . PSTV, Volume 38 von IFIP Conference Proceedings, Seite 3-18. Chapman & Hall, (1995)Procedures and concurrency: A study in proof., , und . Symposium on Programming, Volume 137 von Lecture Notes in Computer Science, Seite 132-163. Springer, (1982)A Partial Order Approach to Branching Time Logic Model Checking., , , und . Inf. Comput., 150 (2): 132-152 (1999)A Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems., und . SRDS, Seite 34-43. IEEE Computer Society, (1993)