Search alternatives:
concurrency » concurrent
Cover Image
Read Now

1
Published 2001
Springer Berlin Heidelberg
Table of Contents: “... of Finite Prefixes to Infinite Computations -- Model Checking -- Abstraction-Based Model Checking Using...”
Cover Image
Read Now

2
by Larsen, Kim G
Published 2001
Springer-Verlag Berlin Heidelberg
Subjects: “...Computer science...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... -- On the computational complexity of type 2 functionals -- Categories with algebraic structure -- Concurrent constraint...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... -- On the Integration of Observability and Reachability Concepts -- Proving Correctness of Timed Concurrent Constraint...”
Cover Image
Read Now

5
Published 2009
Springer Berlin Heidelberg
Table of Contents: “... -- Epistemic Strategies and Games on Concurrent Processes -- On Finite Bases for Weak Semantics: Failures...”
Cover Image
Read Now

6
Published 1995
Springer Berlin Heidelberg
Table of Contents: “... -- Static and dynamic processor allocation for higher-order concurrent languages -- Mechanized inductive...”