Sciweavers

Share
TACS
1991
Springer

On Nets, Algebras and Modularity

11 years 5 months ago
On Nets, Algebras and Modularity
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 goat is to achieve a better understanding ofthe links between modularity issues for nets and laws (or anomalies) in algebras of processes and algebras of relations. To this end we develop Mazurkiewicz's compositional approach which requires a careful analysis of homomorphisms from algebras of nets into algebras of processes and relations.
Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
Added 27 Aug 2010
Updated 27 Aug 2010
Type Conference
Year 1991
Where TACS
Authors Alexander Moshe Rabinovich, Boris A. Trakhtenbrot
Comments (0)
books