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):
Displaying 19 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)
- Predicate liftings and functor presentations in coalgebraic expression languages (Q1798785) (← links)
- Parametrized fixed points and their applications to session types (Q2133474) (← links)
- (Q4441515) (← links)
- Categorical fixed point calculus (Q5057473) (← links)
- Three notes on the complexity of model checking fixpoint logic with chop (Q5441546) (← links)
- Instantiation for Parameterised Boolean Equation Systems (Q5505619) (← links)
- Temporal Logic with Recursion. (Q6060093) (← links)
- Make flows small again: revisiting the flow framework (Q6535380) (← links)
- Model checking timed recursive CTL (Q6543268) (← links)
- Operations on fixpoint equation systems (Q6597955) (← links)
