scientific article; zbMATH DE number 1954372

MaRDI QIDQ4415243zbMATH OpenFDO

Authors

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2556/25560047.htm

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 2086683
• From local to global temporal logics over Mazurkiewicz traces.
• LATIN 2004: Theoretical Informatics
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• scientific article; zbMATH DE number 2086684

Cited in

(1)

• Asynchronous wreath product and cascade decompositions for concurrent behaviours

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