Logics and Models of Concurrent Systems
Latest Publications

TOTAL DOCUMENTS

17

(FIVE YEARS 0)

H-INDEX

9

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642824555, 9783642824531

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Towards a Theory of Knowledge and Ignorance: Preliminary Report

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_16 ◽

1985 ◽

pp. 459-476 ◽

Cited By ~ 38

Author(s):

Joseph Y. Halpern ◽

Yoram Moses

Keyword(s):

Preliminary Report ◽

Theory Of Knowledge

Download Full-text

In Transition From Global to Modular Temporal Reasoning about Programs

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_5 ◽

1985 ◽

pp. 123-144 ◽

Cited By ~ 212

Author(s):

Amir Pnueli

Keyword(s):

Temporal Reasoning

Download Full-text

The Cooperation Test : a syntax-directed verification method

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_8 ◽

1985 ◽

pp. 213-257 ◽

Cited By ~ 2

Author(s):

Willem P. de Roever

Keyword(s):

Verification Method

Download Full-text

About Fair Asynchrony

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_12 ◽

1985 ◽

pp. 343-368

Author(s):

Philippe Darondeau

Download Full-text

Deadlock Analysis in Networks of Communicating Processes

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_10 ◽

1985 ◽

pp. 305-323 ◽

Cited By ~ 6

Author(s):

S. D. Brookes ◽

A. W. Roscoe

Keyword(s):

Communicating Processes ◽

Deadlock Analysis

Download Full-text

Notes on Algebraic Calculi of Processes

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_9 ◽

1985 ◽

pp. 261-303 ◽

Cited By ~ 46

Author(s):

G. Boudol

Download Full-text

Script: A Communication Abstraction Mechanism and its Verification

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_7 ◽

1985 ◽

pp. 169-212 ◽

Cited By ~ 1

Author(s):

Nissim Francez ◽

Brent Hailpern ◽

Gadi Taubenfeld

Download Full-text

An Axiomatic Semantics of Concurrent Programming Languages

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_4 ◽

1985 ◽

pp. 77-122 ◽

Cited By ~ 9

Author(s):

Leslie Lamport

Keyword(s):

Programming Languages ◽

Concurrent Programming ◽

Axiomatic Semantics ◽

Concurrent Programming Languages

Download Full-text

A Logic for the Specification and Proof of Controllable Processes of CCS

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_13 ◽

1985 ◽

pp. 369-395 ◽

Cited By ~ 2

Author(s):

Susanne Graf ◽

Joseph Sifakis

Download Full-text

A Paradigm for Detecting Quiescent Properties in Distributed Computations

Logics and Models of Concurrent Systems ◽

10.1007/978-3-642-82453-1_11 ◽

1985 ◽

pp. 325-341 ◽

Cited By ~ 11

Author(s):

K. Mani Chandy ◽

Jayadev Misra

Keyword(s):

Distributed Computations

Download Full-text