scientific article; zbMATH DE number 3812965

MaRDI QIDQ3660928zbMATH OpenFDO

Authors

Publication date 1983

zbMATH Keywords

distributed computationliveness and synchronic relationsreal world system

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cited in

(2)

• Asynchronous communication of Petri nets and the refinement of transitions
• Failures semantics based on interval semiwords is a congruence for refinement

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 Q3660928)