Cover Image

Compositionality : the Significant Difference : International Symposium, COMPOS '97, Bad Malente, Germany, September 8-12, 1997 : Revised Lectures /

Show other versions (1)

"This book originates from the International Symposium on Compositionality, COMPOS'97, held in Bad Malente, Germany in September 1997. The 25 chapters presented in revised full version reflect the current state of the art in the area of compositional reasoning about concurrency. The book i...

Full description

Bibliographic Details
Corporate Authors: COMPOS '97 Malente, Germany, SpringerLink (Online service)
Other Authors: Roever, W.-P. de, 1943- (Editor), Langmaack, Hans (Editor), Pnueli, Amir, 1941-2009 (Editor)
Format: Conference Proceeding eBook
Language:English
Published: Berlin ; New York : Springer, [1998]
Series:Lecture notes in computer science ; 1536. 0302-9743.
Subjects:
Parallel processing (Electronic computers) > Congresses.
Automatic theorem proving > Congresses.
Automatic theorem proving.
Parallel processing (Electronic computers)
Electronic books.
Conference proceedings.
Online Access:Connect to the full text of this electronic book
Table of 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
  • An overview of compositional translations / Theo M.V. Janssen
  • Compositional verification of multi-agent systems / Catholijn M. Jonker and Jan Treur
  • Modular model checking / Orna Kupferman and Moshe Y. Vardi
  • Composition: a way to make proofs harder / Leslie Lamport
  • Compositionality criteria for defining mixed-styles synchronous languages / Florence Maraninchi and Yann Rémond
  • Compositional reasoning using interval temporal logic and tempura / B.C. Moszkowski
  • Decomposing real-time specifications / Ernst-Rüdiger Olderog and Henning Dierks
  • On the combination of synchronous languages / Axel Poigné, Leszek Holenderski
  • Compositional verification of randomized distributed algorithms / Roberto Segala
  • Lazy compositional verification / Natarajan Shankar
  • Compositional reasoning using the assumption-commitment paradigm / Qiwen Xu and Mohalik Swarup
  • An adequate first order interval logic / Zhou Chaochen and Michael R. Hansen
  • Compositional transformational design for concurrent programs / Job Zwiers
  • Compositional proof methods for concurrency / F.S. de Boer and W.-P. de Roever.