Action Refinement in Process Algebras
作者： Luca Aceto
DOI:
关键词: Semantic theory of truth 、 Concurrency 、 Abstraction (mathematics) 、 Bibliography 、 Mathematics 、 Action refinement 、 Theoretical computer science 、 Simple language 、 Programming language 、 Work in process 、 Refinement calculus
摘要: Preface 1. Introduction 2. A semantic theory based on atomic actions 3. Action refinement for a simple language 4. communicating processes 5. Full abstraction series-parallel pomsets 6. On relating concurrency and nondeterminism 7. Conclusions Bibliography Index.
amazon.com参考文章(0)