scientific article; zbMATH DE number 1302050
zbMATH Open0934.03025MaRDI QIDQ4247293FDOQ4247293
Jesper G. Henriksen, P. S. Thiagarajan
Publication date: 6 April 2000
Title of this publication is not available (Why is that?)
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
model checkingdistributed systemssatisfiabilityexpressivenessasynchronous automatatrace languageslinear time temporal logicproduct automataautomata over infinite objectsMazurkiewicz tracenetwork of sequential agentsproduct languagestrace-based logic
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)
Cited In (8)
- Petri nets, traces, and local model checking
- Title not available (Why is that?)
- Title not available (Why is that?)
- A product version of dynamic linear time temporal logic
- Title not available (Why is that?)
- On undecidability of propositional temporal logics on trace systems
- A Branching Time Logical System for Open Distributed Systems Development
- Generalization of some properties of relations in the context of functional temporal×modal 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)
