The box algebra = Petri nets + process expressions
Information and Computation
An Axiomatisation of Duplication Equivalence in the Petri Box Calculus
ICATPN '98 Proceedings of the 19th International Conference on Application and Theory of Petri Nets
The Box Algebra - A Model of Nets and Process Expressions
Proceedings of the 20th International Conference on Application and Theory of Petri Nets
General parameterised refinement and recursion for the M-net calculus
Theoretical Computer Science
Hi-index | 0.00 |