Action refinement in process algebras
著者
書誌事項
Action refinement in process algebras
(Distinguished dissertations in computer science)
Cambridge University Press, c1992
大学図書館所蔵 件 / 全8件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Bibliography: p. [265]-271
Includes index
内容説明・目次
内容説明
Action refinement involves the replacing of an action by a whole process in the description of parallel processes. It is one of the methods proposed to support the formal study of the step-wise development of concurrent systems. In this award-winning thesis Dr Aceto extends the notion of action refinement to the setting of process description languages. The presentation is organised into three parts. The first describes a semantic theory of processes. The core of the book then develops suitable notions of process equivalence for increasingly complex languages with operators for action refinement. In the final part, the author deals with the possibility of using action refinement to 'observe' indirectly the causal relationships among actions in a system. This book contains some important new developments in the understanding of concurrent processes and as such will be of value to all computer scientists researching into the theory of parallel computation.
目次
- 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.
「Nielsen BookData」 より