Combining CCS and Petri nets via structural axioms

Authors:
Ugo Montanari;Daniel Yankelevich
Affiliations:
-;-
Venue:
Fundamenta Informaticae
Year:
1994

Citing 0
Cited 5

The box algebra = Petri nets + process expressions

Information and Computation
Asynchronous box calculus

Fundamenta Informaticae
Structured transition systems with parametric observations: observational congruences and minimal realizations

Mathematical Structures in Computer Science
Ugo Montanari and Concurrency Theory

Concurrency, Graphs and Models
Asynchronous Box Calculus

Fundamenta Informaticae

Quantified Score

Hi-index	0.00

Visualization

Abstract