Abstract is missing.
- Modal and Temporal Argumentation NetworksHoward Barringer, Dov M. Gabbay. 1-25 [doi]
- Knowledge Based Scheduling of Distributed SystemsSaddek Bensalem, Doron Peled, Joseph Sifakis. 26-41 [doi]
- Quantitative Simulation GamesPavol Cerný, Thomas A. Henzinger, Arjun Radhakrishna. 42-60 [doi]
- The Localization Reduction and Counterexample-Guided Abstraction RefinementEdmund M. Clarke, Robert P. Kurshan, Helmut Veith. 61-71 [doi]
- A Scalable Segmented Decision Tree Abstract DomainPatrick Cousot, Radhia Cousot, Laurent Mauborgne. 72-95 [doi]
- Towards Component Based Design of Hybrid Systems: Safety and StabilityWerner Damm, Henning Dierks, Jens Oehlerking, Amir Pnueli. 96-143 [doi]
- Mildly Context-Sensitive Languages via Buffer Augmented Pregroup GrammarsDaniel Genkin, Nissim Francez, Michael Kaminski. 144-166 [doi]
- Inference Rules for Proving the Equivalence of Recursive ProceduresBenny Godlin, Ofer Strichman. 167-184 [doi]
- Some Thoughts on the Semantics of BiochartsDavid Harel, Hillel Kugler. 185-194 [doi]
- Unraveling a Card TrickTony Hoare, Natarajan Shankar. 195-201 [doi]
- An Automata-Theoretic Approach to Infinite-State SystemsOrna Kupferman, Nir Piterman, Moshe Y. Vardi. 202-259 [doi]
- On the Krohn-Rhodes Cascaded Decomposition TheoremOded Maler. 260-278 [doi]
- Temporal Verification of Reactive Systems: ResponseZohar Manna, Amir Pnueli. 279-361 [doi]
- The Arrow of Time through the Lens of ComputingKrishna V. Palem. 362-369 [doi]
- What Is in a Step: New Perspectives on a Classical QuestionWillem-Paul de Roever, Gerald Lüttgen, Michael Mendler. 370-399 [doi]