Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794): Difference between revisions

@@ Property / author @@
-Marc Zeitoun
@@ Property / author: Marc Zeitoun / rank @@
-Normal rank
@@ Property / author @@
+Marc Zeitoun
@@ Property / author: Marc Zeitoun / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q60
@@ Property / Mathematics Subject Classification ID: 68Q60 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+B44
@@ Property / Mathematics Subject Classification ID: 03B44 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+N30
@@ Property / Mathematics Subject Classification ID: 68N30 / rank @@
+Normal rank
@@ Property / Mathematics Subject Classification ID @@
+Q85
@@ Property / Mathematics Subject Classification ID: 68Q85 / rank @@
+Normal rank
@@ Property / zbMATH DE Number @@
+6371450
@@ Property / zbMATH DE Number: 6371450 / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+temporal logic
@@ Property / zbMATH Keywords: temporal logic / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+concurrent recursive programs
@@ Property / zbMATH Keywords: concurrent recursive programs / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+nested words
@@ Property / zbMATH Keywords: nested words / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+Mazurkiewicz traces
@@ Property / zbMATH Keywords: Mazurkiewicz traces / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+satisfiability
@@ Property / zbMATH Keywords: satisfiability / rank @@
+Normal rank
@@ Property / zbMATH Keywords @@
+model checking
@@ Property / zbMATH Keywords: model checking / rank @@
+Normal rank
@@ Property / MaRDI profile type @@
+MaRDI publication profile
@@ Property / MaRDI profile type: MaRDI publication profile / rank @@
+Normal rank
@@ Property / full work available at URL @@
+https://doi.org/10.1016/j.jal.2014.05.001
+Normal rank
@@ Property / OpenAlex ID @@
+W2082577494
@@ Property / OpenAlex ID: W2082577494 / rank @@
+Normal rank
@@ Property / cites work @@
+Adding nesting structure to words
@@ Property / cites work: Adding nesting structure to words / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+First-Order and Temporal Logics for Nested Words
@@ Property / cites work: First-Order and Temporal Logics for Nested Words / rank @@
+Normal rank
@@ Property / cites work @@
+Computational Complexity
@@ Property / cites work: Computational Complexity / rank @@
+Normal rank
@@ Property / cites work @@
+Global Model Checking of Ordered Multi-Pushdown Systems
+Normal rank
@@ Property / cites work @@
+Emptiness of Multi-pushdown Automata Is 2ETIME-Complete
+Normal rank
@@ Property / cites work @@
+Realizability of Concurrent Recursive Programs
@@ Property / cites work: Realizability of Concurrent Recursive Programs / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking
+Normal rank
@@ Property / cites work @@
+On Communicating Finite-State Machines
@@ Property / cites work: On Communicating Finite-State Machines / rank @@
+Normal rank
@@ Property / cites work @@
+MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS
@@ Property / cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS / rank @@
+Normal rank
@@ Property / cites work @@
+Q3336675
@@ Property / cites work: Q3336675 / rank @@
+Normal rank
@@ Property / cites work @@
+MSO Decidability of Multi-Pushdown Systems via Split-Width
+Normal rank
@@ Property / cites work @@
+Alternation Elimination for Automata over Nested Words
+Normal rank
@@ Property / cites work @@
+Pure future local temporal logics are expressively complete for Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+Propositional dynamic logic of regular programs
@@ Property / cites work: Propositional dynamic logic of regular programs / rank @@
+Normal rank
@@ Property / cites work @@
+CONCUR 2003 - Concurrency Theory
@@ Property / cites work: CONCUR 2003 - Concurrency Theory / rank @@
+Normal rank
@@ Property / cites work @@
+Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces
+Normal rank
@@ Property / cites work @@
+PDL with intersection and converse: satisfiability and infinite-state model checking
+Normal rank
@@ Property / cites work @@
+Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations
+Normal rank
@@ Property / cites work @@
+Context-Bounded Analysis of Concurrent Queue Systems
+Normal rank
@@ Property / cites work @@
+-Exp Time lower bounds for propositional dynamic logics with intersection
+Normal rank
@@ Property / cites work @@
+Logics for Unranked Trees: An Overview
@@ Property / cites work: Logics for Unranked Trees: An Overview / rank @@
+Normal rank
@@ Property / cites work @@
+The tree width of auxiliary storage
@@ Property / cites work: The tree width of auxiliary storage / rank @@
+Normal rank
@@ Property / cites work @@
+Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems
+Normal rank
@@ Property / cites work @@
+Q4298260
@@ Property / cites work: Q4298260 / rank @@
+Normal rank
@@ Property / cites work @@
+Tools and Algorithms for the Construction and Analysis of Systems
+Normal rank
@@ Property / cites work @@
+Q3740223
@@ Property / cites work: Q3740223 / rank @@
+Normal rank
@@ Property / cites work @@
+Q4219045
@@ Property / cites work: Q4219045 / rank @@
+Normal rank
@@ Property / cites work @@
+Notes on finite asynchronous automata
@@ Property / cites work: Notes on finite asynchronous automata / rank @@
+Normal rank
@@ links / mardi / name / links / mardi / name @@
+Publication:472794