Nets, terms and formulas three views of concurrent processes and their relationship

Bibliographic Details
Main Author: Olderog E. R.
Format: Book
Language:English
Published: Cambridge University Press
Series:Cambridge University Press