Local normal forms for logics over traces

DOI10.1007/3-540-36206-1_6MaRDI QIDQ4415243zbMATH OpenFDO

Authors Bharat Adsul, Milind Sohoni

Publication date 28 July 2003

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

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

• Complete and tractable local linear time temporal logics over traces
• From local to global temporal logics over Mazurkiewicz traces.
• LATIN 2004: Theoretical Informatics
• Pure future local temporal logics are expressively complete for Mazurkiewicz traces
• An elementary expressively complete temporal logic for Mazurkiewicz traces

Cited in

(1)

• Asynchronous wreath product and cascade decompositions for concurrent behaviours

This page was built for publication: Local normal forms for logics over traces

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