Harvard |

Harvard

Matches in Harvard for { <http://id.lib.harvard.edu/aleph/008075248/catalog> ?p ?o. }

Showing items 1 to 30 of 30 with 100 items per page.

catalog contributor b11217761.
catalog contributor b11217762.
catalog contributor b11217763.
catalog contributor b11217764.
catalog contributor b11217765.
catalog created "c1998.".
catalog date "1998".
catalog date "c1998.".
catalog dateCopyrighted "c1998.".
catalog description "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 -- ".
catalog description "Compositional transformational design for concurrent programs / Job Zwiers -- Compositional proof methods for concurrency / F.S. de Boer and W.-P. de Roever.".
catalog description "Includes bibliographical references and index.".
catalog description "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 -- ".
catalog extent "646 p. :".
catalog identifier "3540654933 (softcover)".
catalog isPartOf "Lecture notes in computer science ; 1536".
catalog issued "1998".
catalog issued "c1998.".
catalog language "eng".
catalog publisher "Berlin ; New York : Springer,".
catalog subject "004/.35 21".
catalog subject "Automatic theorem proving Congresses.".
catalog subject "Parallel processing (Electronic computers) Congresses.".
catalog subject "QA76.58 .C639 1997".
catalog tableOfContents "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 -- ".
catalog tableOfContents "Compositional transformational design for concurrent programs / Job Zwiers -- Compositional proof methods for concurrency / F.S. de Boer and W.-P. de Roever.".
catalog tableOfContents "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 -- ".
catalog title "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.).".
catalog type "Conference proceedings. fast".
catalog type "text".