Book
Petri Net Algebra
This title presents a step-by-step development of a framework for the specification and verification of concurrent systems. Petri Net Algebra takes its inspiration and methods from Process Algebra and Petri Nets, two prominent branches of concurrency theory. «
Score:
Reviews:
Times tipped:
Times read:
Author(s):
Category:
ISBN
9783540673989
Welcome to Boeklezers.nl
Boeklezers.nl is a network for social reading. We help readers discover new books and authors, and bring readers in contact with each other and with writers. Read more ».
Reviews of Petri Net Algebra by Eike Best, Maciej Koutny & Raymond Devillers
There are no reviews for this book yet.
