Cover Image
Read Now

1
Published 1987
Springer Berlin Heidelberg
“... in design and analysis of concurrent systems. They are used in many areas of computer science including...”
Cover Image
Read Now

2
Published 1998
Springer Berlin Heidelberg
“... of concurrent systems...”
Cover Image
Read Now

3
Published 1998
Springer Berlin Heidelberg
“... of concurrent systems...”
Cover Image
Read Now

4
Published 1987
Springer Berlin Heidelberg
“... in the relationship of petri nets to other models of concurrent systems...”
Cover Image
Read Now

5
Published 2019
Springer International Publishing
Table of Contents: “..., Concurrent Systems -- Coordinating Behaviour -- Inductive Counting and the Reachability Problem for Petri...”
Cover Image
Read Now

6
Published 1996
Springer Berlin Heidelberg
Table of Contents: “...Modeling concurrent systems: Actors, nets, and the problem of abstraction and composition...”