( en | de | ru )

 

Disambiguation of "Gerth, Rob"

Author of the publication

copydeleteadd this publication to your clipboard
A Proof System for Brinch Hansen's Distributed Processes.

, , and . GI Jahrestagung, volume 50 of Informatik-Fachberichte, page 88-95. Springer, (1981)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Klaus Rob

Paul Rob

Beatrice Rob

Rob Smith

Theodor Rob

 

Other publications of authors with the same name

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