default search action

combined dblp search
author search
venue search
publication search

ask others

NATO ASI Logics and Models of Concurrent Systems 1984: Colle-sur-Loup, France

> Home > Conferences and Workshops > NATO ASI

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/nato/1984
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/1984
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
- view
  authority control:
- export record
  dblp key:
  - conf/nato/ClarkeBES84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/ClarkeBES84
Edmund M. Clarke, Michael C. Browne, E. Allen Emerson, A. Prasad Sistla:
Using Temporal Logic for Automatic Verification of Finite State Systems. 3-26
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Cerro84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Cerro84
Luis Fariñas del Cerro:
Resolution Modal Logics. 27-55
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Hailpern84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Hailpern84
Brent Hailpern:
Tools for Verifying Network Protocols. 57-76
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Lamport84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Lamport84
Leslie Lamport:
An Axiomatic Semantics of Concurrent Programming Languages. 77-122
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Pnueli84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Pnueli84
Amir Pnueli:
In Transition From Global to Modular Temporal Reasoning about Programs. 123-144
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Apt84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Apt84
Krzysztof R. Apt:
Correctness Proofs of Distributed Termination Algorithms. 147-167
- view
  authority control:
- export record
  dblp key:
  - conf/nato/FrancezHT84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/FrancezHT84
Nissim Francez, Brent Hailpern, Gadi Taubenfeld:
Script: A Communication Abstraction Mechanism and its Verification. 169-212
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Roever84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Roever84
Willem P. de Roever:
The Cooperation Test : a syntax-directed verification method. 213-257
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Boudol84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Boudol84
Gérard Boudol:
Notes on Algebraic Calculi of Processes. 261-303
- view
  authority control:
- export record
  dblp key:
  - conf/nato/BrookesR84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/BrookesR84
Stephen D. Brookes, A. W. Roscoe:
Deadlock Analysis in Networks of Communicating Processes. 305-323
- view
  authority control:
- export record
  dblp key:
  - conf/nato/ChandyM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/ChandyM84
K. Mani Chandy, Jayadev Misra:
A Paradigm for Detecting Quiescent Properties in Distributed Computations. 325-341
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Darondeau84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Darondeau84
Philippe Darondeau:
About Fair Asynchrony. 343-368
- view
  authority control:
- export record
  dblp key:
  - conf/nato/GrafS84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/GrafS84
Susanne Graf, Joseph Sifakis:
A Logic for the Specification and Proof of Controllable Processes of CCS. 369-395
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Olderog84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Olderog84
Ernst-Rüdiger Olderog:
Specification-Oriented Programming in TCSP. 397-435
- view
  authority control:
- export record
  dblp key:
  - conf/nato/Gabbay84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/Gabbay84
Dov M. Gabbay:
Theoretical Foundations for Non-Monotonic Reasoning in Expert Systems. 439-457
- view
  authority control:
- export record
  dblp key:
  - conf/nato/HalpernM84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/HalpernM84
Joseph Y. Halpern, Yoram Moses:
Towards a Theory of Knowledge and Ignorance: Preliminary Report. 459-476
- view
  authority control:
- export record
  dblp key:
  - conf/nato/HarelP84
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/nato/HarelP84
David Harel, Amir Pnueli:
On the Development of Reactive Systems. 477-498

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.