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

by E. -R. Olderog and E.-R. Olderog

Book Overview

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...

• Format: Hardcover
• Language: English
• ISBN: 0521400449
• ISBN13: 9780521400442
• Release Date: October 1991
• Publisher: Cambridge University Press
• Length: 278 Pages
• Weight: 1.54 lbs.
• Dimensions: 0.7" x 7.0" x 10.0"