Abstract is missing.
- Using Temporal Logic for Automatic Verification of Finite State SystemsEdmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla. 3-26 [doi]
- Resolution Modal LogicsLuis Fariñas del Cerro. 27-55 [doi]
- Tools for Verifying Network ProtocolsBrent Hailpern. 57-76 [doi]
- An Axiomatic Semantics of Concurrent Programming LanguagesLeslie Lamport. 77-122 [doi]
- In Transition From Global to Modular Temporal Reasoning about ProgramsAmir Pnueli. 123-144 [doi]
- Correctness Proofs of Distributed Termination AlgorithmsKrzysztof R. Apt. 147-167 [doi]
- Script: A Communication Abstraction Mechanism and its VerificationNissim Francez, Brent Hailpern, Gadi Taubenfeld. 169-212 [doi]
- The Cooperation Test : a syntax-directed verification methodWillem P. de Roever. 213-257 [doi]
- Notes on Algebraic Calculi of ProcessesGérard Boudol. 261-303 [doi]
- Deadlock Analysis in Networks of Communicating ProcessesStephen D. Brookes, A. W. Roscoe. 305-323 [doi]
- A Paradigm for Detecting Quiescent Properties in Distributed ComputationsK. Mani Chandy, Jayadev Misra. 325-341 [doi]
- About Fair AsynchronyPhilippe Darondeau. 343-368 [doi]
- A Logic for the Specification and Proof of Controllable Processes of CCSSusanne Graf, Joseph Sifakis. 369-395 [doi]
- Specification-Oriented Programming in TCSPErnst-Rüdiger Olderog. 397-435 [doi]
- Theoretical Foundations for Non-Monotonic Reasoning in Expert SystemsDov M. Gabbay. 439-457 [doi]
- Towards a Theory of Knowledge and Ignorance: Preliminary ReportJoseph Y. Halpern, Yoram Moses. 459-476 [doi]
- On the Development of Reactive SystemsDavid Harel, Amir Pnueli. 477-498 [doi]