Coverart for item
The Resource Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures, Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures, Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)

Label
Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Title
Compositionality
Title remainder
the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures
Statement of responsibility
Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Creator
Contributor
Subject
Genre
Language
eng
Member of
Cataloging source
DLC
Dewey number
004/.35
Illustrations
illustrations
Index
index present
LC call number
QA76.58
LC item number
.C639 1997
Literary form
non fiction
http://bibfra.me/vocab/lite/meetingDate
1997
http://bibfra.me/vocab/lite/meetingName
COMPOS '97
Nature of contents
bibliography
http://library.link/vocab/relatedWorkOrContributorDate
  • 1943-
  • 1941-2009
http://library.link/vocab/relatedWorkOrContributorName
  • Roever, W.-P. de
  • Langmaack, Hans
  • Pnueli, Amir
Series statement
Lecture notes in computer science
Series volume
1536
http://library.link/vocab/subjectName
  • Parallel processing (Electronic computers)
  • Automatic theorem proving
  • concurrence
  • méthode formelle
  • spécification formelle
  • vérification système
  • compositionnalité
  • Parallélisme (Informatique)
  • Programmatuurtechniek
  • Verificatie
  • Programacao de computadores
  • Engenharia de programacao (software)
  • Parallélisme (informatique)
  • Théorèmes
  • concurrence
  • méthode formelle
  • spécification formelle
  • vérification système
  • compositionnalité
Label
Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures, Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Instantiates
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
40535053
Dimensions
24 cm
Extent
646 pages
Isbn
9783540654933
Isbn Type
(pbk.)
Lccn
98055092
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations
Label
Compositionality : the significant difference : international symposium, COMPOS'97, Bad Malente, Germany, September 8-12, 1997 : revised lectures, Willem-Paul de Roever, Hans Langmaack, Amir Pnueli (eds.)
Publication
Bibliography note
Includes bibliographical references and index
Carrier category
volume
Carrier category code
  • nc
Carrier MARC source
rdacarrier
Content category
text
Content type code
  • txt
Content type MARC source
rdacontent
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
Control code
40535053
Dimensions
24 cm
Extent
646 pages
Isbn
9783540654933
Isbn Type
(pbk.)
Lccn
98055092
Media category
unmediated
Media MARC source
rdamedia
Media type code
  • n
Other physical details
illustrations

Library Locations

    • Engineering Library & Technology CommonsBorrow it
      W2001 Lafferre Hall, Columbia, MO, 65211, US
      38.946102 -92.330125
    • University of Missouri Libraries DepositoryBorrow it
      2908 Lemone Blvd, Columbia, MO, 65211, US
      38.919360 -92.291620
Processing Feedback ...