Publisher
Springer Berlin Heidelberg
Reference24 articles.
1. Martín Abadi and Leslie Lamport. The existence of refinement mappings. Theoretical Computer Science, 82(2):253–84, May 1991.
2. Martín Abadi and Leslie Lamport. Conjoining specifications. ACM Transactions on Programming Languages and Systems, 17(3):507–34, May 1995. Also SRC Research Report 118.
3. Henri E. Bal. Programming Distributed Systems. Prentice-Hall, New York, 1991.
4. Howard Barringer, Ruurd Kuiper, and Amir Pnueli. Now you may compose temporal logic specifications. In STOC’ 84, pages 51–63, Washington, D.C., USA, 30 April–2 May 1984.
5. K. Mani Chandy and Jayadev Misra. Parallel Program Design: A Foundation. Addison-Wesley, Reading, MA, USA, 1988. Reprinted with corrections, May 1989.