scientific article; zbMATH DE number 4108166

MaRDI QIDQ3832059zbMATH OpenFDO

Authors Antoni Mazurkiewicz

Publication date 1988

zbMATH Keywords

algebrascompositionalityconcurrencymodularityPetri netspomsetssemantics

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• scientific article; zbMATH DE number 4080929
• An algebraic semantics for hierarchical P/T nets
• A compositional dataflow semantics for Petri nets
• scientific article; zbMATH DE number 4143457
• scientific article; zbMATH DE number 1361137

Cited in

(14)

• Control machines: A new model of parallelism for compositional specifications and their effective compilation
• scientific article; zbMATH DE number 4080929 (Why is no real title available?)
• An extension of the notions of traces and of asynchronous automata
• scientific article; zbMATH DE number 557977 (Why is no real title available?)
• scientific article; zbMATH DE number 1556864 (Why is no real title available?)
• scientific article; zbMATH DE number 1837651 (Why is no real title available?)
• scientific article; zbMATH DE number 7438162 (Why is no real title available?)
• Computing Petri net languages by reductions
• An algebraic semantics for hierarchical P/T nets
• Compositional specification in rewriting logic
• A programming language for spatial distribution of net systems
• scientific article; zbMATH DE number 4182842 (Why is no real title available?)
• A compositional partial order semantics for Petri net components
• Compositional semantics and behavioral equivalences for P systems

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3832059)