Cover Image
Read Now

1
Published 1999
Springer Berlin Heidelberg
Table of Contents: “... for Decidability and Undecidability of Bisimilarity -- Testing Concurrent Systems: A Formal Approach -- Accepted...”
Cover Image
Read Now

2
Published 1991
Springer Berlin Heidelberg
Table of Contents: “... equivalences -- Causality based models for the design of concurrent systems -- Modal logics for mobile...”