Theorems about Composition

1. Abadi, M., Lamport, L.: Composing specifications. ACM Transactions on Programming Languages and Systems 15(1), 73–132 (1993)

   Article  Google Scholar 

2. Abadi, M., Lamport, L.: Conjoining specifications. ACM Transactions on Programming Languages and Systems 17(3), 507–534 (1995)

   Article  Google Scholar 

3. Abadi, M., Merz, S.: An abstract account of composition. In: Hájek, P., Wiedermann, J. (eds.) MFCS 1995. LNCS, vol. 969, pp. 499–508. Springer, Heidelberg (1995)

   Google Scholar 

4. Mani Chandy, K., Sanders, B.: Reasoning about program composition (submitted for publication), http://www.cise.ufl.edu/~sanders/pubs/composition.ps

5. Charpentier, M.: Assistance à Répartition de Systèmes Réactifs. Thèse de doctorat, Institut National Polytechnique de Toulouse (November 1997)

   Google Scholar 

6. Charpentier, M., Mani Chandy, K.: Examples of program composition illustrating the use of universal properties. In: Rolim, J.D.P. (ed.) IPPS-WS 1999 and SPDP-WS 1999. LNCS, vol. 1586, pp. 1215–1227. Springer, Heidelberg (1999)

   Chapter  Google Scholar 

7. Charpentier, M., Chandy, K.M.: Towards a compositional approach to the design and verification of distributed systems. In: Wing, J.M., Woodcock, J.C.P., Davies, J. (eds.) FM 1999. LNCS, vol. 1708, pp. 570–589. Springer, Heidelberg (1999)

   Google Scholar 

8. Collette, P.: Composition of assumption-commitment specifications in a Unity style. Science of Computer Programming 23, 107–125 (1994)

   Article  MATH  MathSciNet  Google Scholar 

9. Collette, P.: Design of Compositional Proof Systems Based on Assumption- Commitment Specifications. Application to Unity. Doctoral thesis, Faculté des Sciences Appliquées, Université Catholique de Louvain (June 1994)

   Google Scholar 

10. Collette, P., Knapp, E.: Logical foundations for compositional verification and development of concurrent programs in Unity. In: Alagar, V.S., Nivat, M. (eds.) AMAST 1995. LNCS, vol. 936, pp. 353–367. Springer, Heidelberg (1995)

    Google Scholar 

11. Dijkstra, E.W., Scholten, C.S.: Predicate calculus and program semantics. Texts and monographs in computer science. Springer, Heidelberg (1990)

    MATH  Google Scholar 

12. Fiadeiro, J.L., Maibaum, T.: Verifying for reuse: foundations of object-oriented system verification. In: Makie, I., Hankin, C., Nagarajan, R. (eds.) Theory and Formal Methods, pp. 235–257. World Scientific Publishing Company, Singapore (1995)

    Google Scholar 

13. Manna, Z., Pnueli, A.: The Temporal Logic of Reactive and Concurrent Systems: Specification. Springer, Heidelberg (1992)

    Google Scholar 

14. Misra, J.: A logic for concurrent programming: Safety. Journal of Computer and Software Engineering 3(2), 239–272 (1995)

    Google Scholar 

15. Sanders, B.A.: Eliminating the substitution axiom from Unity logic. Formal Aspects of Computing 3(2), 189–205 (1991)

    Article  Google Scholar 

16. Sivilotti, P.A.G.: A Method for the Specification, Composition, and Testing of Distributed Object Systems. PhD thesis, California Institute of Technology, 256-80 Caltech, Pasadena, California 91125 (December 1997)

    Google Scholar 

17. Udink, R.T.: Program Refinement in Unity-like Environments. PhD thesis, Utrecht University (September 1995)

    Google Scholar 

Download references