Cover Image
Read Now

1
Published 1979
Springer Berlin Heidelberg
Table of Contents: “...The temporal semantics of concurrent programs -- Modal logic of concurrent nondeterministic...”
Cover Image
Read Now

2
Published 2002
Springer US
Table of Contents: “... Computing Systems -- V Concurrency in Real-Time Applicatio...”
Cover Image
Read Now

3
by Magee, Jeff
Published 2006
Wiley
Table of Contents: “...1. Introduction -- 2. Processes and threads -- 3. Concurrent execution -- 4. Shared objects...”
Cover Image
Read Now

5
Published 1987
Springer Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

6
by Bowman, Howard, Gomez, Rodolfo
Published 2006
Springer London
Table of Contents: “...Background on Concurrency Theory -- Concurrency Theory — Untimed Models -- Process Calculi: LOTOS...”
Cover Image
Read Now

7
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Specification Structures and propositions-as-types for concurrency -- Automated temporal reasoning...”
Cover Image
Read Now

8
by Breshears, Clay
Published 2009
O'Reilly
Table of Contents: “... Computations; Rule 2: Implement Concurrency at the Highest Level Possible...”
Cover Image
Read Now

9
Published 1990
Springer Berlin Heidelberg
Table of Contents: “... of computations -- Concurrency and computability -- Causal trees interleaving + causality -- Partially commutative...”
Cover Image
Read Now

11
Published 1985
Springer Berlin Heidelberg
Table of Contents: “...Using algebra for concurrency: Some approaches -- Some aspects of net theory -- From state machines...”
Cover Image
Read Now

12
by Saraswat, Vijay
Published 1993
MIT Press
Subjects: “...Parallel programming (Computer science)...”
Cover Image
Read Now

13
Published 2024
Springer Nature Switzerland
Table of Contents: “... -- Devillers On verifying concurrent programs under weak consistency models: Decidability and Complexity -- A...”
Cover Image
Read Now

14
Published 1985
Springer Berlin Heidelberg
Table of Contents: “... -- Semantic considerations in the actor paradigm of concurrent computation -- The pomset model of parallel...”
Cover Image
Read Now

15
by Beetz, Michael
Published 2000
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

16
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... formulations of concurrent languages -- Constraints for free in concurrent computation -- Formalizing inductive...”
Cover Image
Read Now

17
Published 1997
Springer New York
Table of Contents: “...1 Introduction -- 2 The Essence of Concurrent ML -- 2.1 Introduction -- 2.2 The Fundamental Ideas...”
Cover Image
Read Now

18
by Roscoe, A.W.
Published 2010
Springer London
Table of Contents: “... Verification -- Exploring Concurrency -- Shared-Variable Programs -- Understanding Shared-Variable Concurrency...”
Cover Image
Read Now

19
Published 1986
Springer Berlin Heidelberg
Table of Contents: “...Computer science in industry -- Dataflow and education: Data-driven and demand-driven distributed...”
Cover Image
Read Now

20
by Kahn, Gilles
Published 1979
Springer
“...Lecture Notes in Computer Science...”