Abstract is missing.
- The Need for Compositional Proof Systems: A SurveyWillem P. de Roever. 1-22 [doi]
- Alternating-Time Temporal LogicRajeev Alur, Thomas A. Henzinger, Orna Kupferman. 23-60 [doi]
- Compositionality in Dataflow Synchronous Languages: Specification and Code GenerationAlbert Benveniste, Paul Le Guernic, Pascal Aubry. 61-80 [doi]
- Compositional Reasoning in Model CheckingSergey Berezin, Sérgio Vale Aguiar Campos, Edmund M. Clarke. 81-102 [doi]
- Modeling Urgency in Timed SystemsSébastien Bornot, Joseph Sifakis, Stavros Tripakis. 103-129 [doi]
- Compositional Refinement of Interactive Systems Modelled by RelationsManfred Broy. 130-149 [doi]
- Toward Parametric Verification of Open Distributed SystemsMads Dam, Lars-Åke Fredlund, Dilian Gurov. 150-185 [doi]
- A Compositional Real-Time Semantics of STATEMATE DesignsWerner Damm, Bernhard Josko, Hardi Hungar, Amir Pnueli. 186-238 [doi]
- Deductive Verification of Modular SystemsBernd Finkbeiner, Zohar Manna, Henny Sipma. 239-275 [doi]
- Compositional Verification of Real-Time ApplicationsJozef Hooman. 276-300 [doi]
- Compositional Proofs for Concurrent ObjectsJerry James, Ambuj K. Singh. 301-326 [doi]
- An Overview of Compositional TranslationsTheo M. V. Janssen. 327-349 [doi]
- Compositional Verification of Multi-Agent Systems: A Formal Analysis of Pro-activeness and ReactivenessCatholijn M. Jonker, Jan Treur. 350-380 [doi]
- Modular Model CheckingOrna Kupferman, Moshe Y. Vardi. 381-401 [doi]
- Composition: A Way to Make Proofs HarderLeslie Lamport. 402-423 [doi]
- Compositionality Criteria for Defining Mixed-Styles Synchronous LanguagesFlorence Maraninchi, Yann Rémond. 424-438 [doi]
- Compositional Reasoning Using Interval Temporal Logic and TempuraBen C. Moszkowski. 439-464 [doi]
- Decomposing Real-Time SpecificationsErnst-Rüdiger Olderog, Henning Dierks. 465-489 [doi]
- On the Combination of Synchronous LanguagesAxel Poigné, Leszek Holenderski. 490-514 [doi]
- Compositional Verification of Randomized Distributed AlgorithmsRoberto Segala. 515-540 [doi]
- Lazy Compositional VerificationNatarajan Shankar. 541-564 [doi]
- Compositional Reasoning Using the Assumption-Commitment ParadigmQiwen Xu, Swarup Mohalik. 565-583 [doi]
- An Adequate First Order Interval LogicZhou Chaochen, Michael R. Hansen. 584-608 [doi]
- Compositional Transformational Design for Concurrent ProgramsJob Zwiers. 609-631 [doi]
- Compositional Proof Methods for Concurrency: A Semantic ApproachFrank S. de Boer, Willem P. de Roever. 632-646 [doi]