Pages that link to "Item:Q799361"
From MaRDI portal
The following pages link to Programming languages and their definition. Selected papers ed. by C. B. Jones (Q799361):
Displayed 11 items.
- A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus (Q549180) (← links)
- Verification of reactive systems via instantiation of parameterised Boolean equation systems (Q716322) (← links)
- Two-level semantics and code generation (Q1095636) (← links)
- On rational definitions in complete algebras without rank (Q1171374) (← links)
- An extensional fixed-point semantics for nondeterministic data flow (Q1183593) (← links)
- The modal mu-calculus alternation hierarchy is strict (Q1276239) (← links)
- Model checking and boolean graphs (Q1325844) (← links)
- Parallel constructions of maximal path sets and applications to short superstrings (Q1366535) (← links)
- A brief history of process algebra (Q1781995) (← links)
- Three notes on the complexity of model checking fixpoint logic with chop (Q5441546) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)