Publication:4164787
From MaRDI portal
zbMath0384.68016MaRDI QIDQ4164787
Maurice Nivat, Bruno Courcelle
Publication date: 1978
68Q60: Specification and verification (program logics, model checking, etc.)
Related Items
All solutions of a system of recursion equations in infinite trees and other contraction theories, Implementation of data types by algebraic methods, Fundamental properties of infinite trees, Order completion monads, Axiomatisation des tests, An algebraic semantics approach to the effective resolution of type equations, Equivalences and transformations of regular systems - applications to recursive program schemes and grammars, Metric interpretations of infinite trees and semantics of non deterministic recursive programs, On the algebra of order, Varieties of chain-complete algebras, An algebraic definition for control structures, Adherences of languages, The IO- and OI-hierarchies, Partial abstract types, On rational definitions in complete algebras without rank, Conditional rewriting logic as a unified model of concurrency, Least fixed points revisited, On some classes of interpretations, Testing equivalences for processes, The evaluation of first-order substitution is monadic second-order compatible, A short scientific biography of Maurice Nivat, Recursion induction principle revisited, Unnamed Item, Unnamed Item, Unnamed Item, Infinite trees in normal form and recursive equations having a unique solution, A class of functions synthesized from a finite number of examples and a lisp program scheme, Unnamed Item