TACS
1991
Springer
14 years 3 months ago
1991
Springer
We aim at a unified and coherent presentation of net models for concurrency like Petri nets and dataflow networks from the perspective of modularity and substitutivity. The major ...