COMPOS 1997:
Bad Malente, Germany
Willem P. de Roever,
Hans Langmaack,
Amir Pnueli:
Compositionality: The Significant Difference, International Symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997. Revised Lectures. Lecture Notes in Computer Science 1536,
Springer 1998, ISBN
3-540-65493-3 Manfred Broy:
Compositional Refinement of Interactive Systems Modelled by Relations. 130-149 Jozef Hooman:
Compositional Verification of Real-Time Applications. 276-300 Catholijn M. Jonker,
Jan Treur:
Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and Reactiveness. 350-380 Ben C. Moszkowski:
Compositional Reasoning Using Interval Temporal Logic and Tempura. 439-464 Roberto Segala:
Compositional Verification of Randomized Distributed Algorithms. 515-540 Job Zwiers:
Compositional Transformational Design for Concurrent Programs. 609-631
maintained by

, founded at
