Pages that link to "Item:Q988553"
From MaRDI portal
The following pages link to Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553):
Displayed 6 items.
- Computing the reveals relation in occurrence nets (Q391112) (← links)
- An optimal construction of Hanf sentences (Q420856) (← links)
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- The complexity of model checking multi-stack systems (Q2398213) (← links)
- Sound concurrent traces for online monitoring (Q6049043) (← links)