1
Published 1985
Springer Berlin Heidelberg
Table of Contents: ... of concurrent systems -- The problem set -- Specifying problem one using the ‘failure’ sets model for CSP...

2
Published 1990
Springer London
Table of Contents: ... and Implementation of Concurrent Systems using PARLOG -- 24. Specification and Verification in Communications...

3
Published 1985
Springer Berlin Heidelberg

4
by Janicki, Ryszard, Lauer, Peter E.
Published 1992
Springer Berlin Heidelberg
Table of Contents: ... Systems into Concurrent Systems -- 4.6 Modelling N-Modular Redundancy -- 5 Comparison of COSY with Other...

5
by Manna, Zohar, Pnueli, Amir
Published 1992
Springer New York
... systems, concurrent systems, control systems, etc. They are among the most difficult computing systems...

6
Published 1995
Springer Berlin Heidelberg

7
Published 1996
Springer Berlin Heidelberg
Table of Contents: ...Concurrent systems and semantics -- Using partial orders to tackle state explosion -- Persistent...

8
Published 1996
Springer Berlin Heidelberg
... these lecture notes are ideally suited for advanced courses on logics for concurrent systems. Equally...

9
Published 1987
Springer Berlin Heidelberg
Table of Contents: ...1 Formal Aspects of Concurrent Systems -- A Formal Basis for the Specification of Concurrent...

10
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... systems -- The model checking problem for concurrent systems with many similar processes -- Unified...

11
Published 1988
Springer Berlin Heidelberg
Table of Contents: ...While waiting for the millennium: Formal specification and verification of concurrent systems now...

12
Published 1992
Springer Berlin Heidelberg
... of concurrent systems and their applications. The papers were all presented at the CONCUR '92 conference, which...

13
Published 1994
Springer Berlin Heidelberg
Table of Contents: ... Machines -- Verification tools for finite-state concurrent systems -- Linear logic on Petri nets...

14
Published 1981
Springer Berlin Heidelberg
Table of Contents: ... behavioural specification of concurrent systems without globality assumptions -- A birkhoff-like theorem...

15
Published 1987
Springer Berlin Heidelberg
... in design and analysis of concurrent systems. They are used in many areas of computer science including...

16
Published 1989
Springer Berlin Heidelberg
Table of Contents: ... and properties of concurrent systems -- Permutation of transitions: An event structure semantics for CCS and SCCS...

17
Published 1997
Springer US
Table of Contents: ...A Systematic Approach to the Petri Net Based Specification of Concurrent Systems -- A Highly...

18
Published 1990
Springer Berlin Heidelberg
Table of Contents: ... concurrent systems -- Synthesis rules for Petri nets, and how they lead to new results -- The need...

19
Published 1983
Springer Berlin Heidelberg
Table of Contents: ... transformations giving B-equivalent PT-nets -- Equivalence notions for concurrent systems -- Milner’s...

20
Published 1993
Springer London
Table of Contents: ... Verification of Concurrent Systems with TLA -- The DECspec Project: Tools for Larch/C -- Formal Verification...