( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
A Proof System for Brinch Hansen's Distributed Processes.

, , и . GI Jahrestagung, том 50 из Informatik-Fachberichte, стр. 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.

Klaus Rob

Paul Rob

Theodor Rob

Rob Cornelissen

Beatrice Rob

 

Другие публикации лиц с тем же именем

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