Cover Image
Read Now

1
by Roscoe, A.W.
Published 2010
Springer London
“..., to researchers and practitioners desiring a more in-depth understanding of theory and practice of concurrent...”
Cover Image
Read Now

2
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... of concurrent systems -- The problem set -- Specifying problem one using the ‘failure’ sets model for CSP...”
Cover Image
Read Now

4
Published 1985
Springer Berlin Heidelberg
Cover Image
Read Now

5
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...”
Cover Image
Read Now

7
Published 1990
Springer London
Table of Contents: “... and Implementation of Concurrent Systems using PARLOG -- 24. Specification and Verification in Communications...”
Cover Image
Read Now

8
by Manna, Zohar, Pnueli, Amir
Published 1992
Springer New York
“... systems, concurrent systems, control systems, etc. They are among the most difficult computing systems...”
Cover Image
Read Now

9
Published 1995
Springer Berlin Heidelberg
Cover Image
Read Now

12
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Concurrent systems and semantics -- Using partial orders to tackle state explosion -- Persistent...”
Cover Image
Read Now

13
by Liu, Guanjun
Published 2022
Springer Nature Singapore
Cover Image
Read Now

14
by Balbaert, Ivo
Published 2017
Packt Publishing
“...Quick guide to writing fast, safe, and concurrent systems and applications...”
Cover Image
Read Now

15
by Jensen, Kurt, Kristensen, Lars M.
Published 2009
Springer Berlin Heidelberg
Cover Image
Read Now

17
by Kordic, Vedran
Published 2008
IntechOpen
“... the introduction in 1964 Petri nets are still an essential model for concurrent systems with respect to both...”
Cover Image
Read Now

18
by Wiśniewski, Remigiusz
Published 2017
Springer International Publishing
Table of Contents: “... -- Prototyping of Concurrent Systems -- Modelling of Concurrent Systems in Hardware Languages -- Implementation...”
Cover Image
Read Now

19
by Kunze, Matthias, Weske, Mathias
Published 2016
Springer International Publishing
Table of Contents: “...1 Introduction -- 2 Discrete Dynamic Systems -- 3 Sequential Systems -- 4 Concurrent Systems -- 5...”
Cover Image
Read Now

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