scientific article; zbMATH DE number 1302050

MaRDI QIDQ4247293zbMATH OpenFDO

Authors P. S. Thiagarajan, Jesper G. Henriksen

Publication date 6 April 2000

zbMATH Keywords

asynchronous automataautomata over infinite objectsdistributed systemsexpressivenesslinear time temporal logicMazurkiewicz tracemodel checkingnetwork of sequential agentsproduct automataproduct languagessatisfiabilitytrace languagestrace-based logic

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Temporal logic (03B44) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05) Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Formal languages and automata (68Q45) 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

(15)

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

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)