Cover Image
Read Now

1
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

2
Published 2003
Springer Berlin Heidelberg
Table of Contents: “... Based Transition Refinement for the Verification of Distributed Algorithms...”
Cover Image
Read Now

3
Published 2006
Springer Berlin Heidelberg
Table of Contents: “...Heuristic Search for the Analysis of Graph Transition Systems -- Logics -- Satisfiability of High...”
Cover Image
Read Now

4
Published 2002
Springer Berlin Heidelberg
Table of Contents: “... by ModelTransition Systems -- Hierarchical Vertex Ordering -- Tutorials and Workshops --...”
Cover Image
Read Now

5
Published 2000
Springer Berlin Heidelberg
Table of Contents: “...-Pullback Graph Transitions: A Rule-Based Framework with Incomplete Information -- Double-Pushout Approach...”
Cover Image
Read Now

6
Published 2010
Springer Berlin Heidelberg
Table of Contents: “...-Preserving Transition Insertions in Unfolding Prefixes -- On the Computation of McMillan’s Prefix...”