( en | de | ru )

 

Disambiguation

From post

копироватьудалитьдобавить публикацию в буфер
An Action System Specification of the Caltech Asynchronous Microprocessor.

, , и . MPC, том 947 из Lecture Notes in Computer Science, стр. 159-179. Springer, (1995)

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.

John Ralph

Peter Back

Artur Back

Rudolf Back

Birgit Bäck

 

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

Testing and Verifying Invariant Based Programs in the SOCOS Environment., , и . TAP, том 4454 из Lecture Notes in Computer Science, стр. 61-78. Springer, (2007)Predicate Transformers and Higher Order Logic., и . REX Workshop, том 666 из Lecture Notes in Computer Science, стр. 1-20. Springer, (1992)Software Development and Experimentation in an Academic Environment: The Gaudi Experience., , и . PROFES, том 3547 из Lecture Notes in Computer Science, стр. 414-428. Springer, (2005)Locality in Modular Systems., и . ICALP, том 140 из Lecture Notes in Computer Science, стр. 1-13. Springer, (1982)Proofs and Refutations in Invariant-Based Programming., , и . IFM, том 8739 из Lecture Notes in Computer Science, стр. 189-204. Springer, (2014)Derivation of Efficient DAG Marking Algorithms., , и . POPL, стр. 20-27. ACM Press, (1983)Exploring Summation and Product Operators in the Refinement Calculus., и . MPC, том 947 из Lecture Notes in Computer Science, стр. 128-158. Springer, (1995)Semantics and proof rules of invariant based programs., и . SAC, стр. 1658-1665. ACM, (2011)Incremental Software Construction with Refinement Diagrams.. AMAST, том 4019 из Lecture Notes in Computer Science, стр. 1. Springer, (2006)Computational Heuristics for Simplifying a Biological Model., , и . CiE, том 5635 из Lecture Notes in Computer Science, стр. 399-408. Springer, (2009)