Concurrent IMP
From MaRDI portal
- \textsc{tlpvs}: A \textsc{pvs}-based \textsc{ltl} verification system
- A calculus of communicating systems
- A language independent proof of the soundness and completeness of generalized Hoare logic
- A logical view of composition
- A Proof System for Communicating Sequential Processes
- A proof technique for communicating sequential processes
- A solution to the PoplMark challenge using de Bruijn indices in Isabelle/HOL
- An Axiomatization of Linear Temporal Logic in the Calculus of Inductive Constructions
- Characterization of temporal property classes
- Concrete semantics. With Isabelle/HOL
- Concurrency verification. Introduction to compositional and noncompositional methods
- Defining liveness
- Foundations of software science and computation structures. 2nd international conference, FOSSACS '99. Held as part of the joint European conferences on Theory and practice of software, ETAPS '99, Amsterdam, the Netherlands, March 22--28, 1999. Proceeding
- From total store order to sequential consistency: a practical reduction theorem
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Unnamed Publication
- Interactive theorem proving. First international conference, ITP 2010, Edinburgh, UK, July 11--14, 2010. Proceedings
- Logic for Programming, Artificial Intelligence, and Reasoning
- Logic for programming, artificial intelligence, and reasoning. 11th international conference, LPAR 2004, Montevideo, Uruguay, March 14--18, 2005. Proceedings.
- Mathematical foundations of computer science 1999. 24th international symposium, MFCS '99, Szklarska Porȩba, Poland, September 6--10, 1999. Proceedings
- On-the-fly garbage collection
- Proving Liveness Properties of Concurrent Programs
- Safety, liveness and fairness in temporal logic
- Syntax directed analysis of liveness properties of while programs
- The Hoare logic of concurrent programs
- The ``Hoare Logic of CSP, and All That
- The origins of structural operational semantics
- The revised report on the syntactic theories of sequential control and state
- Time for verification. Essays in memory of Amir Pnueli
- Verifying distributed systems: the operational approach
This page was built for software: Concurrent IMP
