Publisher
Springer Berlin Heidelberg
Reference15 articles.
1. M. Abadi and L. Lamport. The existence of refinement mappings. Theoretical Computer Science, 82: 253–284, 1991.
2. R. Back. Correctness Preserving Program Refinements: Proof Theory and Applications, volume 131 of Mathematical Center Tracts. Mathematical Centre, Amsterdam, 1980.
3. R. Back. Refinement calculus, part II: Parallel and reactive programs. In REX Workshop for Refinement of Distributed Systems volume 430 of Lecture Notes in Computer Science Nijmegen, The Netherlands, 1989. Springer-Verlag.
4. R. Back. Refining atomicity in parallel algorithms. In PARLE Conference on Parallel Architectures and Languages Europe Eindhoven, the Netherlands, June 1989. Springer Verlag.
5. R. Back and R. Kurki-Suonio. Decentralization of process nets with centralized control. In 2nd ACM SIGACT-SIGOPS Symp. on Principles of Distributed Computing, pages 131–142. ACM, 1983.
Cited by
27 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献