Action refinement in process algebras

Preface 1. Introduction 2. A semantic theory based on atomic actions 3. Action refinement for a simple language 4. Action refinement for communicating processes 5. Full abstraction for series-parallel pomsets 6. On relating concurrency and nondeterminism 7. Conclusions Bibliography Index.