( en | de | ru )

 

Disambiguierung von "Gerth, Rob"

Autor der Publikation

KopierenLöschenDiese Publikation zur Ablage hinzufügen
A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.

. ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 252-264. Springer, (1982)

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

Paul Rob

Theodor Rob

Rob Cornelissen

Beatrice Rob

 

Weitere Publikationen von Autoren mit dem selben Namen

A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.. ICALP, Volume 140 von Lecture Notes in Computer Science, Seite 252-264. Springer, (1982)Sequential Consistency and the Lazy Caching Algorithm.. Distributed Comput., 12 (2-3): 57-59 (1999)Full Abstraction of a Real-Time Denotational Semantics for an Occam-like Language., , und . POPL, Seite 223-237. ACM Press, (1987)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 Compositinal Proof Theory for Fault Tolerant Real-Time Distributed Systems., und . SRDS, Seite 34-43. IEEE Computer Society, (1993)A Partial Order Approach to Branching Time Logic Model Checking., , , und . ISTCS, Seite 130-139. IEEE Computer Society, (1995)Modeling Statecharts Behaviour in a Fully Abstract Way., , und . CAAP, Volume 299 von Lecture Notes in Computer Science, Seite 271-294. Springer, (1988)Rooting UNITY., und . IWSSD, Seite 11-19. ACM, (1989)