Programming languages and their definition. Selected papers ed. by C. B. Jones
From MaRDI portal
Publication:799361
zbMath0548.68004MaRDI QIDQ799361
Publication date: 1984
Published in: Lecture Notes in Computer Science (Search for Journal in Brave)
Related Items (15)
Model checking and boolean graphs ⋮ Parametrized fixed points and their applications to session types ⋮ Two-level semantics and code generation ⋮ Categorical fixed point calculus ⋮ Parallel constructions of maximal path sets and applications to short superstrings ⋮ On rational definitions in complete algebras without rank ⋮ An extensional fixed-point semantics for nondeterministic data flow ⋮ Temporal Logic with Recursion. ⋮ A linear translation from CTL\(^*\) to the first-order modal \(\mu \)-calculus ⋮ Verification of reactive systems via instantiation of parameterised Boolean equation systems ⋮ A brief history of process algebra ⋮ Three notes on the complexity of model checking fixpoint logic with chop ⋮ Predicate liftings and functor presentations in coalgebraic expression languages ⋮ The modal mu-calculus alternation hierarchy is strict ⋮ Instantiation for Parameterised Boolean Equation Systems
Uses Software
This page was built for publication: Programming languages and their definition. Selected papers ed. by C. B. Jones