ACM Computing Surveys (CSUR) - Special issue: position statements on strategic directions in computing research
The box algebra = Petri nets + process expressions
Information and Computation
An Algebra of Non-safe Petri Boxes
AMAST '02 Proceedings of the 9th International Conference on Algebraic Methodology and Software Technology
Transactions and Zero-Safe Nets
Unifying Petri Nets, Advances in Petri Nets
Fundamenta Informaticae
Ugo Montanari and Concurrency Theory
Concurrency, Graphs and Models
Fundamenta Informaticae
Atomicity And Concurrency Control In Process Calculi
Fundamenta Informaticae
| Hi-index | 5.23 |