scientific article
From MaRDI portal
Publication:4003356
zbMath0820.68073MaRDI QIDQ4003356
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
concurrent programsoperational semanticsterminationimperative programsprogram verificationtotal correctnesssequential programsHoare-style logic
Theory of programming languages (68N15) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (9)
A proof system for asynchronously communicating deterministic processes ⋮ Supervisory control and reactive synthesis: a comparative introduction ⋮ Inference rules for proving the equivalence of recursive procedures ⋮ Inference Rules for Proving the Equivalence of Recursive Procedures ⋮ Fifty years of Hoare's logic ⋮ Cardinality of relations and relational approximation algorithms ⋮ Formal verification of a programming logic for a distributed programming language ⋮ \(\pi\)-calculus with noisy channels ⋮ Bisimulation indexes and their applications
This page was built for publication:
