Items related to Nets, Terms and Formulas: Three Views of Concurrent...
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23) - Hardcover
The author presents a theory whereby nets, terms and formulas represent concurrent process at three levels of abstractions: Petri nets are used to describe all details of the operational machine behavior of processes. Algebraic process terms such as Calculus of Communicating Systems (CCS) or Communicating Sequential Processes (CSP) two of the main models for parallel programming, are used to describe the architecture of processes, i.e. how they can be composed from subprocesses. Logical formulas of a first-order trace logic are used to describe the safety and liveness aspects of the communication behavior of processes as required by their users. The main emphasis and technical contribution of this theory are transformations for a top-down design of concurrent processes starting with formulas and proceeding through terms to nets.
"synopsis" may belong to another edition of this title.
Book Description:
The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.
Review:
"The unique feature of this book is that it unifies different views of concurrency rather than adding another view. The author does so in a clear and convincing fashion....requires the reader to be fluent in such mathematical concepts as sets, relations, functions, and predicate logic, and to be familiar with the basic concepts of automata and regular languages. Readers who enjoy the mathematical maturity will find the book excellent: it is carefully written, and the material is presented in a well-chosen order and at the right level of detail. The author must be a good teacher." Martin Rem, Computing Reviews
"About this title" may belong to another edition of this title.
- PublisherCambridge University Press
- Publication date1991
- ISBN 10 0521400449
- ISBN 13 9780521400442
- BindingHardcover
- Edition number1
- Number of pages278
Buy New
Learn more about this copy
US$ 86.98
Shipping:
US$ 4.50
Within U.S.A.
Top Search Results from the AbeBooks Marketplace
Stock Image
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science)
Published by
Cambridge University Press
(1991)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Condition: New. Seller Inventory # 219322
Buy New
US$ 86.98
Convert currency
Stock Image
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship (Cambridge Tracts in Theoretical Computer Science, Series Number 23)
Published by
Cambridge University Press
(1991)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. Seller Inventory # ABLIING23Feb2416190001681
Buy New
US$ 132.80
Convert currency
Stock Image
Nets; Terms and Formulas: Three Views of Concurrent Processes and Their Relationship
Published by
Cambridge University Press
(1991)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: New. PRINT ON DEMAND Book; New; Fast Shipping from the UK. No. book. Seller Inventory # ria9780521400442_lsuk
Buy New
US$ 128.53
Convert currency
Stock Image
Nets, Terms and Formulas
Published by
Cambridge University Press
(1991)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Condition: new. Questo è un articolo print on demand. Seller Inventory # d065d798b21c27c8fb19145d959484ea
Buy New
US$ 131.77
Convert currency
Stock Image
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Published by
Cambridge Univ Pr
(1991)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Hardcover. Condition: Brand New. 277 pages. 10.00x7.00x0.75 inches. In Stock. Seller Inventory # __0521400449
Buy New
US$ 149.95
Convert currency
Stock Image
Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship
Published by
Cambridge University Press
(1991)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Hardback. Condition: New. This item is printed on demand. New copy - Usually dispatched within 5-9 working days. Seller Inventory # C9780521400442
Buy New
US$ 154.87
Convert currency
Seller Image
Nets, Terms and Formulas
Published by
Cambridge University Press
(2011)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: > 20
Seller:
Rating
Book Description Gebunden. Condition: New. Dieser Artikel ist ein Print on Demand Artikel und wird nach Ihrer Bestellung fuer Sie gedruckt. The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. The use of transformations in a series of case studies and the author identifies directions for research.Inhaltsverzeichnis. Seller Inventory # 446934215
Buy New
US$ 153.87
Convert currency
Seller Image
Nets, Terms and Formulas : Three Views of Concurrent Processes and Their Relationship
Published by
Cambridge University Press
(1991)
ISBN 10: 0521400449
ISBN 13: 9780521400442
New
Hardcover
Quantity: 1
Seller:
Rating
Book Description Buch. Condition: Neu. Druck auf Anfrage Neuware - Printed after ordering - The author presents a theory whereby nets, terms and formulas represent concurrent processes at three levels of abstraction. Seller Inventory # 9780521400442
Buy New
US$ 256.46
Convert currency