( en | de | ru )

 

Disambiguation of "Back, Ralph-Johan"

Author of the publication

copydeleteadd this publication to your clipboard
On the Suitability of Trace Semantics for Modular Proofs of Communicating Processes.

, and . Theor. Comput. Sci., (1985)

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.

John Ralph

Peter Back

Birgit Bäck

Artur Back

Rudolf Back

 

Other publications of authors with the same name

Computational Heuristics for Simplifying a Biological Model., , and . CiE, volume 5635 of Lecture Notes in Computer Science, page 399-408. Springer, (2009)Reasoning Algebraically about Loops., and . Acta Inf., 36 (4): 295-334 (1999)Fusion and Simultaneous Execution in the Refinement Calculus., and . Acta Inf., 35 (11): 921-949 (1998)Proofs and Refutations in Invariant-Based Programming., , and . IFM, volume 8739 of Lecture Notes in Computer Science, page 189-204. Springer, (2014)Exploring Summation and Product Operators in the Refinement Calculus., and . MPC, volume 947 of Lecture Notes in Computer Science, page 128-158. Springer, (1995)Testing and Verifying Invariant Based Programs in the SOCOS Environment., , and . TAP, volume 4454 of Lecture Notes in Computer Science, page 61-78. Springer, (2007)Predicate Transformers and Higher Order Logic., and . REX Workshop, volume 666 of Lecture Notes in Computer Science, page 1-20. Springer, (1992)Incremental Software Construction with Refinement Diagrams.. AMAST, volume 4019 of Lecture Notes in Computer Science, page 1. Springer, (2006)Software Development and Experimentation in an Academic Environment: The Gaudi Experience., , and . PROFES, volume 3547 of Lecture Notes in Computer Science, page 414-428. Springer, (2005)Locality in Modular Systems., and . ICALP, volume 140 of Lecture Notes in Computer Science, page 1-13. Springer, (1982)