( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
Specifiying and Proving Communication Closedness in Protocols.

, и . PSTV, том C-16 из IFIP Transactions, стр. 323-339. North-Holland, (1993)

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.

Ulrike Zwiers

Wilhelm Job

Christopher Job

Lorenzo Job

Mareile Job

 

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

Layering and Action Refinement for Timed Systems.. REX Workshop, том 600 из Lecture Notes in Computer Science, стр. 687-723. Springer, (1991)Compositional Transformational Design for Concurrent Programs.. COMPOS, том 1536 из Lecture Notes in Computer Science, стр. 609-631. Springer, (1997)Classifying motor imagery in presence of speech., , и . IJCNN, стр. 1-8. IEEE, (2010)Monitoring User's Brain Activity for a Virtual Coach., , и . ICEC, том 6243 из Lecture Notes in Computer Science, стр. 511-513. Springer, (2010)Predicates are Predicate Transformers: A Unified Compositional Theory for Concurrency., и . PODC, стр. 265-279. ACM, (1989)Layering Techniques for Development of Parallel Systems., и . CAV, том 663 из Lecture Notes in Computer Science, стр. 16-29. Springer, (1992)A Proof System for Partial Correctness of Dynamic Networks of Processes (Extended Abstract)., , и . Logic of Programs, том 164 из Lecture Notes in Computer Science, стр. 513-527. Springer, (1983)Synthesizing Different Development Paradigms: Combining Top-Down with Bottom-Up Reasoning About Distributed Systems., , , и . FSTTCS, том 1026 из Lecture Notes in Computer Science, стр. 80-95. Springer, (1995)Protocol Design by Layered Decomposition: A Compositional Approach., и . FTRTFT, том 571 из Lecture Notes in Computer Science, стр. 307-326. Springer, (1992)The Compositional Approach to Sequential Consistency and Lazy Caching., , и . Distributed Comput., 12 (2-3): 105-127 (1999)