Stop the war!Остановите войну!
for scientists:
default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDNATO ASI Logics and Models of Concurrent Systems 1984: Colle-sur-Loup, France
- Krzysztof R. Apt:
Logics and Models of Concurrent Systems - Conference proceedings, Colle-sur-Loup (near Nice), France, 8-19 October 1984. NATO ASI Series 13, Springer 1985, ISBN 978-3-642-82455-5 - Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla:
Using Temporal Logic for Automatic Verification of Finite State Systems. 3-26 - Luis Fariñas del Cerro:
Resolution Modal Logics. 27-55 - Brent Hailpern:
Tools for Verifying Network Protocols. 57-76 - Leslie Lamport:
An Axiomatic Semantics of Concurrent Programming Languages. 77-122 - Amir Pnueli:
In Transition From Global to Modular Temporal Reasoning about Programs. 123-144 - Krzysztof R. Apt:
Correctness Proofs of Distributed Termination Algorithms. 147-167 - Nissim Francez, Brent Hailpern, Gadi Taubenfeld:
Script: A Communication Abstraction Mechanism and its Verification. 169-212 - Willem P. de Roever:
The Cooperation Test : a syntax-directed verification method. 213-257 - Gérard Boudol:
Notes on Algebraic Calculi of Processes. 261-303 - Stephen D. Brookes, A. W. Roscoe:
Deadlock Analysis in Networks of Communicating Processes. 305-323 - K. Mani Chandy, Jayadev Misra:
A Paradigm for Detecting Quiescent Properties in Distributed Computations. 325-341 - Philippe Darondeau:
About Fair Asynchrony. 343-368 - Susanne Graf, Joseph Sifakis:
A Logic for the Specification and Proof of Controllable Processes of CCS. 369-395 - Ernst-Rüdiger Olderog:
Specification-Oriented Programming in TCSP. 397-435 - Dov M. Gabbay:
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems. 439-457 - Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. 459-476 - David Harel, Amir Pnueli:
On the Development of Reactive Systems. 477-498
a service of 
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2024-06-10 21:39 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
