Pages that link to "Item:Q859824"
From MaRDI portal
The following pages link to Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824):
Displaying 15 items.
- Computing the reveals relation in occurrence nets (Q391112) (← links)
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- Star-free languages are Church-Rosser congruential (Q714818) (← links)
- A survey on the local divisor technique (Q896673) (← links)
- The Schützenberger category of a semigroup. (Q906965) (← links)
- Local temporal logic is expressively complete for cograph dependence alphabets (Q1763374) (← links)
- A Lyndon's identity theorem for one-relator monoids (Q2135760) (← links)
- Communicating finite-state machines, first-order logic, and star-free propositional dynamic logic (Q2208242) (← links)
- Omega-rational expressions with bounded synchronization delay (Q2354594) (← links)
- Topology, monitorable properties and runtime verification (Q2453532) (← links)
- From local to global temporal logics over Mazurkiewicz traces. (Q2490814) (← links)
- (Q5089284) (← links)
- (Q5094152) (← links)
- CONCUR 2005 – Concurrency Theory (Q5897506) (← links)
- LATIN 2004: Theoretical Informatics (Q5901643) (← links)