scientific article; zbMATH DE number 1302050

MaRDI QIDQ4247293zbMATH OpenFDO

Authors P. S. Thiagarajan, Jesper G. Henriksen

Publication date 6 April 2000

zbMATH Keywords

model checkingdistributed systemssatisfiabilityexpressivenessasynchronous automatatrace languageslinear time temporal logicproduct automataautomata over infinite objectsMazurkiewicz tracenetwork of sequential agentsproduct languagestrace-based logic

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Automata and formal grammars in connection with logical questions (03D05) Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Distributed synthesis for parameterized temporal logics
• scientific article; zbMATH DE number 1377375
• Detecting Temporal Logic Predicates on Distributed Computations
• scientific article; zbMATH DE number 2086683
• Labelled tableaux for distributed temporal logic
• Frontiers of Combining Systems
• Bounded model checking distributed temporal logic
• scientific article; zbMATH DE number 1059327
• scientific article; zbMATH DE number 1114033
• scientific article; zbMATH DE number 7085031

Cited in

(10)

• scientific article; zbMATH DE number 7085031 (Why is no real title available?)
• On undecidability of propositional temporal logics on trace systems
• A Branching Time Logical System for Open Distributed Systems Development
• scientific article; zbMATH DE number 1969331 (Why is no real title available?)
• scientific article; zbMATH DE number 4112564 (Why is no real title available?)
• Model checking properties on reduced trace systems
• A product version of dynamic linear time temporal logic
• Generalization of some properties of relations in the context of functional temporal×modal logic
• Trace consistency and inevitability
• Petri nets, traces, and local model checking

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