The following pages link to CONCUR 2003 - Concurrency Theory (Q5900568):
Displayed 8 items.
- Temporal logics for concurrent recursive programs: satisfiability and model checking (Q472794) (← links)
- Pure future local temporal logics are expressively complete for Mazurkiewicz traces (Q859824) (← links)
- An automata-theoretic approach to constraint LTL (Q870361) (← links)
- Verification of qualitative \(\mathbb Z\) constraints (Q959820) (← links)
- Uniform satisfiability problem for local temporal logics over Mazurkiewicz traces (Q988553) (← links)
- From local to global temporal logics over Mazurkiewicz traces. (Q2490814) (← links)
- LTL over integer periodicity constraints (Q2503321) (← links)
- Propositional Dynamic Logic for Message-Passing Systems (Q5458843) (← links)