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 1995
Springer Berlin Heidelberg
Cover Image
Read Now

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

5
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

6
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...1 Formal Aspects of Concurrent Systems -- A Formal Basis for the Specification of Concurrent...”
Cover Image
Read Now

7
Published 2013
Springer Berlin Heidelberg
Table of Contents: “...Model-Based Testing -- Testing Timed and Concurrent Systems -- Test Suite Selection and Effort...”
Cover Image
Read Now

8
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... systems -- The model checking problem for concurrent systems with many similar processes -- Unified...”
Cover Image
Read Now

9
Published 1988
Springer Berlin Heidelberg
Table of Contents: “...While waiting for the millennium: Formal specification and verification of concurrent systems now...”
Cover Image
Read Now

10
by Forbes, Elliot
Published 2017
Packt Publishing
Table of Contents: “... it down; Summary; Chapter 2: Parallelize It; Understanding concurrency; Properties of concurrent systems...”
Cover Image
Read Now

11
Published 2022
Springer Nature Switzerland
Table of Contents: “... and concurrent systems -- Theorem Proving and SAT....”
Cover Image
Read Now

12
Published 1981
Springer Berlin Heidelberg
Table of Contents: “... behavioural specification of concurrent systems without globality assumptions -- A birkhoff-like theorem...”
Cover Image
Read Now

13
Published 1989
Springer Berlin Heidelberg
Table of Contents: “... and properties of concurrent systems -- Permutation of transitions: An event structure semantics for CCS and SCCS...”
Cover Image
Read Now

14
by Cukic, Ivan
Published 2019
Manning Publications
Table of Contents: “... metaprogramming -- Functional design for concurrent systems -- Testing and debugging...”
Cover Image
Read Now

15
Published 1983
Springer Berlin Heidelberg
Table of Contents: “... transformations giving B-equivalent PT-nets -- Equivalence notions for concurrent systems -- Milner’s...”
Cover Image
Read Now

16
Published 2014
Springer International Publishing
Table of Contents: “... and Concurrent Systems -- On the Number of Opinions Needed for Fault-Tolerant Run-Time Monitoring in Distributed...”
Cover Image
Read Now

17
Published 1993
Springer London
Table of Contents: “... Verification of Concurrent Systems with TLA -- The DECspec Project: Tools for Larch/C -- Formal Verification...”
Cover Image
Read Now

18
Published 2018
Springer International Publishing
Table of Contents: “... -- Concurrent System Programming with Effect Handlers -- Automatically Introducing Tail Recursion in CakeML...”
Cover Image
Read Now

19
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... and Their Refinements -- Object Specification -- Algebraic Specification of Concurrent Systems -- Formalization...”
Cover Image
Read Now

20
Published 1986
Springer Berlin Heidelberg
Table of Contents: “... -- Infinitary languages: Basic theory and applications to concurrent systems -- The quest goes on: A survey...”