Search alternatives:
concurrency » concurrent
Cover Image
Read Now

1
Published 2004
Springer Berlin Heidelberg
Table of Contents: “... for Compiled C Programs -- Verifying Atomicity Specifications for Concurrent Object-Oriented Software Using...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
Table of Contents: “... Analysers by Folding/Unfolding of Natural Semantics and a Case Study: Slicing -- Concurrency -- A Symbolic...”
Cover Image
Read Now

3
Published 1987
Springer Berlin Heidelberg
Table of Contents: “... of concurrency: Partial orders and transition systems -- CCS without ?'s -- A fully observational model...”
Cover Image
Read Now

4
Published 1987
Springer Berlin Heidelberg
Table of Contents: “...Models and equality for logical programming -- Fifth generation computer project: Current research...”
Cover Image
Read Now

5
Published 1992
Springer Berlin Heidelberg
Table of Contents: “... of rewriting -- A theory of first-order built-in's of prolog -- Fixpoint semantics for partial computed answer...”
Cover Image
Read Now

6
Published 1994
Springer Berlin Heidelberg
Table of Contents: “...Concurrent constraint programming -- Specifications using multiple-conclusion logic programs...”