scientific article; zbMATH DE number 2087342

zbMath1065.68030MaRDI QIDQ4738112

Roland C. Backhouse

Publication date: 11 August 2004

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2297/22970089.htm

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

tutorial

Mathematics Subject Classification ID

Categorical semantics of formal languages (18C50) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Galois correspondences, closure operators (in relation to ordered sets) (06A15)

Related Items (12)

Abstract representation theorems for demonic refinement algebras ⋮ Components and acyclicity of graphs. An exercise in combining precision with concision ⋮ Programming from Galois connections ⋮ Tabling with Sound Answer Subsumption ⋮ Markov chains and Markov decision processes in Isabelle/HOL ⋮ Algebraic neighbourhood logic ⋮ Probabilistic rely-guarantee calculus ⋮ Extended Static Checking by Calculation Using the Pointfree Transform ⋮ Dual unbounded nondeterminacy, recursion, and fixpoints ⋮ CPS-translation as adjoint ⋮ Semiring Neighbours: An Algebraic Embedding and Extension of Neighbourhood Logic ⋮ An Exercise on Transition Systems

This page was built for publication: