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

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
ReferenceBot (talk | contribs)
Changed an Item
 
(2 intermediate revisions by 2 users not shown)
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / full work available at URL
 
Property / full work available at URL: https://doi.org/10.1016/j.jal.2014.05.001 / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2082577494 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Adding nesting structure to words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: First-Order and Temporal Logics for Nested Words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Computational Complexity / rank
 
Normal rank
Property / cites work
 
Property / cites work: Global Model Checking of Ordered Multi-Pushdown Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Emptiness of Multi-pushdown Automata Is 2ETIME-Complete / rank
 
Normal rank
Property / cites work
 
Property / cites work: Realizability of Concurrent Recursive Programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional Dynamic Logic for Message-Passing Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Temporal Logics for Concurrent Recursive Programs: Satisfiability and Model Checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: On Communicating Finite-State Machines / rank
 
Normal rank
Property / cites work
 
Property / cites work: MULTI-PUSH-DOWN LANGUAGES AND GRAMMARS / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3336675 / rank
 
Normal rank
Property / cites work
 
Property / cites work: MSO Decidability of Multi-Pushdown Systems via Split-Width / rank
 
Normal rank
Property / cites work
 
Property / cites work: Alternation Elimination for Automata over Nested Words / rank
 
Normal rank
Property / cites work
 
Property / cites work: Pure future local temporal logics are expressively complete for Mazurkiewicz traces / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional dynamic logic of regular programs / rank
 
Normal rank
Property / cites work
 
Property / cites work: CONCUR 2003 - Concurrency Theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces / rank
 
Normal rank
Property / cites work
 
Property / cites work: PDL with intersection and converse: satisfiability and infinite-state model checking / rank
 
Normal rank
Property / cites work
 
Property / cites work: Reachability of Multistack Pushdown Systems with Scope-Bounded Matching Relations / rank
 
Normal rank
Property / cites work
 
Property / cites work: Context-Bounded Analysis of Concurrent Queue Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: 2-Exp Time lower bounds for propositional dynamic logics with intersection / rank
 
Normal rank
Property / cites work
 
Property / cites work: Logics for Unranked Trees: An Overview / rank
 
Normal rank
Property / cites work
 
Property / cites work: The tree width of auxiliary storage / rank
 
Normal rank
Property / cites work
 
Property / cites work: Propositional Dynamic Logic with Converse and Repeat for Message-Passing Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4298260 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Tools and Algorithms for the Construction and Analysis of Systems / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3740223 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4219045 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Notes on finite asynchronous automata / rank
 
Normal rank

Latest revision as of 07:27, 9 July 2024

scientific article
Language Label Description Also known as
English
Temporal logics for concurrent recursive programs: satisfiability and model checking
scientific article

    Statements

    Temporal logics for concurrent recursive programs: satisfiability and model checking (English)
    0 references
    0 references
    0 references
    0 references
    0 references
    20 November 2014
    0 references
    temporal logic
    0 references
    concurrent recursive programs
    0 references
    nested words
    0 references
    Mazurkiewicz traces
    0 references
    satisfiability
    0 references
    model checking
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references