Publication:3899466
From MaRDI portal
zbMath0452.68011MaRDI QIDQ3899466
Publication date: 1980
68Q60: Specification and verification (program logics, model checking, etc.)
68-02: Research exposition (monographs, survey articles) pertaining to computer science
Related Items
A note on Coinduction and Weak Bisimilarity for While Programs, A Hoare logic for dynamic networks of asynchronously communicating deterministic processes, ASM refinement and generalizations of forward simulation in data refinement: a comparison, Formal semantics for mutual belief, On correct refinement of programs, Floyd's principle, correctness theories and program equivalence, A dual problem to least fixed points, Domain theory in logical form, Process expressions and Hoare's logic: Showing and irreconcilability of context-free recursion with Scott's induction rule, Correctness and efficiency of pattern matching algorithms, The contraction principle as a particular case of Kleene's fixed point theorem, A compositional axiomatization of statecharts, Combining angels, demons and miracles in program specifications, Rendez-vous with metric semantics, Combinatory reduction systems: Introduction and survey, A type-theoretical alternative to ISWIM, CUCH, OWHY, Proving partial order properties, Process algebra with guards: Combining hoare logic with process algebra, Correctness of fixpoint transformations, Reasoning about dynamically evolving process structures, The weakest precondition calculus: Recursion and duality, Linear time and branching time semantics for recursion with merge, Relation-algebraic semantics, The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights?, Full abstraction and recursion, Parallel constructions of maximal path sets and applications to short superstrings, Full abstraction for the second order subset of an Algol-like language, The generic approximation lemma, Hoare's logic and VDM, De Bakker-Zucker processes revisited, A specification structure for deadlock-freedom of synchronous processes
