Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science, Band 3)

Aceto, Luca:

ISBN 10: 0521431115 / ISBN 13: 9780521431118

Published by Cambridge University Press 28.08.1992., 1992

About this Item

283 Seiten ex Library Book aus einer wissenschafltichen Bibliothek Ohne Schutzumschlag Sprache: Englisch Gewicht in Gramm: 969 24,6 x 18,0 x 2,0 cm, Gebundene Ausgabe.

Seller Inventory # 370889

Bibliographic Details

• Title: Action Refinement in Process Algebras (Distinguished Dissertations in Computer Science, Band 3)
• Publisher: Cambridge University Press 28.08.1992.
• Publication Date: 1992
• Language: English
• ISBN 10: 0521431115
• ISBN 13: 9780521431118
• Binding: Hardcover
• Condition: Gut
• Weight: 969 grams
• Seller catalogs:
  • Alle Bücher

About this title

Synopsis

Dr. Aceto studies the notion of action refinement in the setting of process description languages, together with behavioral equivalences for them and their associated proof systems. The presentation is organized into three parts. In the first, a semantic theory of processes based on atomic actions is used to give results that serve as a stepping stone toward the more complex theories needed to support action refinement. The core of the book then develops suitable notions of process equivalence for increasingly complex languages with operators for action refinement. This approach is used to highlight the difficulties introduced by synchronization among actions and scoping operators. 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. A preliminary semantic theory for concurrent systems that relates concurrency and nondeterminism without reducing the former to the latter is also studied in some detail.

Book Description

In this award-winning thesis, Dr Aceto extends the notion of action refinement to the setting of process description languages.