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... This description may be from another edition of this product.

• Format: Paperback
• Language: English
• ISBN: 0521018455
• ISBN13: 9780521018456
• Release Date: August 2005
• Publisher: Cambridge University Press
• Length: 280 Pages
• Weight: 0.99 lbs.
• Dimensions: 0.6" x 6.7" x 9.6"