Skip to content
Hardcover Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship Book

ISBN: 0521400449

ISBN13: 9780521400442

Nets, Terms and Formulas: Three Views of Concurrent Processes and Their Relationship

The author presents a theory of concurrent processes where three different semantic description methods that are usually studied in isolation are brought together. Petri nets describe processes as concurrent and interacting machines; algebraic process terms describe processes as abstract concurrent processes; and logical formulas specify the intended communication behaviour of processes. At the heart of this theory are two sets of transformation rules...

Selected

Format: Hardcover

Condition: New

$118.10
Save $4.89!
List Price $122.99

50 Available

Customer Reviews

0 rating
Copyright © 2020 Thriftbooks.com Terms of Use | Privacy Policy | Do Not Sell My Personal Information | Accessibility Statement
ThriftBooks® and the ThriftBooks® logo are registered trademarks of Thrift Books Global, LLC
GoDaddy Verified and Secured