Pages that link to "Item:Q1608324"
From MaRDI portal
The following pages link to LTL is expressively complete for Mazurkiewicz traces (Q1608324):
Displaying 9 items.
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← links)
- A survey on the local divisor technique (Q896673) (← links)
- Finite-trace linear temporal logic: coinductive completeness (Q1667649) (← links)
- Local temporal logic is expressively complete for cograph dependence alphabets (Q1763374) (← links)
- Specifying reversibility with \(\mathrm{TLA}^+\) (Q2210867) (← links)
- From local to global temporal logics over Mazurkiewicz traces. (Q2490814) (← links)
- Testing Distributed Systems Through Symbolic Model Checking (Q3612360) (← links)
- Realizability of Concurrent Recursive Programs (Q3617744) (← links)
- (Q5094152) (← links)
