Title: Compositionality : the significant difference : international symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : revised lectures /
Authors: Roever, W.-P. de, 1943-; Langmaack, Hans.; Pnueli, Amir, 1941-2009.; Pnueli, Amir, 1941-2009.
Publisher: Springer,
Year: 1998
Subjects: Parallel processing (Electronic computers) Congresses.; Automatic theorem proving Congresses.
Contents: The need for compositional proof systems / Willem-Paul de Roever -- Alternating-time temporal /ogic / Rajeev Alur, Thomas A. Henzinger, and Orna Kupferman -- Compositionality in dataflow synchronous languages / Albert Benveniste, Paul Le Guernic, and Pascal Aubry -- Compositional reasoning in model checking / Sergey Berezin, Sergio Campos, and Edmund M. Clarke -- Modeling urgency in timed systems / Sebastien Bornot, Joseph Sifakis, and Stavros Tripakis -- Compositional refinement of interactive systems modelled by relations / Manfred Broy -- Toward parametric verification of open distributed systems / Mads Dam, Lars-åke Fredlund, and Dilian Gurov -- A compositional real-time semantics of STATEMATE designs / Werner Damm ... [et al.] -- Deductive verification of modular systems / Bernd Finkbeiner, Zohar Manna, and Henny B. Sipma -- Compositional verification of real-time applications / Jozef Hooman -- Compositional proofs for concurrent objects / Jerry James and Ambuj Singh --^