scientific article
From MaRDI portal
Publication:3996921
zbMath0718.68004MaRDI QIDQ3996921
No author found.
Publication date: 23 January 1993
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Proceedings, conferences, collections, etc. pertaining to computer science (68-06) Festschriften (00B30) Specification and verification (program logics, model checking, etc.) (68Q60) General topics in the theory of software (68N01)
Related Items
Quasi-boolean equivalence ⋮ Jack van Lint (1932--2004): a survey of his scientific work ⋮ Responsiveness and stable revivals ⋮ Interactive tool support for CSP \(\parallel\) B consistency checking ⋮ A comparison of semantic models for noninterference ⋮ Parallelized sequential composition and hardware weak memory models ⋮ Folding left and right matters: Direct style, accumulators, and continuations ⋮ On the Purpose of Event-B Proof Obligations ⋮ Of wlp and CSP ⋮ Formal derivation of an algorithm for distributed phase synchronization ⋮ Processes and formalisms for unbounded choice ⋮ Manifest domains: analysis and description ⋮ Alternating states for dual nondeterminism in imperative programming ⋮ Nondeterminacy and recursion via stacks and games
