Search alternatives:
concurrency » concurrent
Cover Image
Read Now

1
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... functions defined by schemes -- Graphic equivalence and computer optimization -- Graph grammars and logic...”
Cover Image
Read Now

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

3
Published 2005
Springer Berlin Heidelberg
Table of Contents: “...Graph Transformation -- On the Concurrent Semantics of Algebraic Graph Grammars -- From Graph...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... Units -- Describing Policies with Graph Constraints and Rules -- Computer Aided Multi-paradigm Modelling...”
Cover Image
Read Now

5
Published 2012
Springer Berlin Heidelberg
Subjects: “...Computer Science Logic and Foundations of Programming...”
Cover Image
Read Now

6
Published 2000
Springer Berlin Heidelberg
Table of Contents: “... -- The Power of Local Computations in Graphs with Initial Knowledge -- Categorical Approaches -- Double...”