Partial Order Semantics of Box Expressions

Authors:
Maciej Koutny
Affiliations:
-
Venue:
Proceedings of the 15th International Conference on Application and Theory of Petri Nets
Year:
1994

Citing 0
Cited 4

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
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae
Stochastic Petri Box Calculus with Discrete Time

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract