( en | de | ru )

 

Disambiguation of "Gerth, Rob"

Author of the publication

copydeleteadd this publication to your clipboard
A Sound and Complete Hoare Axiomatization of the Ada-Rendevous.

. ICALP, volume 140 of Lecture Notes in Computer Science, page 252-264. Springer, (1982)

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

Theodor Rob

Rob Cornelissen

Paul Rob

Beatrice Rob

 

Other publications of authors with the same name

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 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)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)A Partial Order Approach to Branching Time Logic Model Checking., , , and . ISTCS, page 130-139. IEEE Computer Society, (1995)Model Checking (Abstract).. ILPS, page 39. MIT Press, (1997)Improving Partial Order Reductions for Universal Branching Time Properties., , , and . Fundam. Informaticae, 43 (1-4): 245-267 (2000)