Solving Recursive Net Equations

Authors:
Eike Best;Maciej Koutny
Affiliations:
-;-
Venue:
ICALP '95 Proceedings of the 22nd International Colloquium on Automata, Languages and Programming
Year:
1995

Citing 0
Cited 2

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
General parameterised refinement and recursion for the M-net calculus

Theoretical Computer Science

Quantified Score

Hi-index	0.00

Visualization

Abstract