Publication:3996921
From MaRDI portal
zbMath0718.68004MaRDI QIDQ3996921
No author found.
Publication date: 23 January 1993
68-06: Proceedings, conferences, collections, etc. pertaining to computer science
00B30: Festschriften
68Q60: Specification and verification (program logics, model checking, etc.)
68N01: General topics in the theory of software
Related Items
A comparison of semantic models for noninterference, Formal derivation of an algorithm for distributed phase synchronization, Jack van Lint (1932--2004): a survey of his scientific work, Alternating states for dual nondeterminism in imperative programming, Processes and formalisms for unbounded choice, Nondeterminacy and recursion via stacks and games, Quasi-boolean equivalence, Responsiveness and stable revivals, Interactive tool support for CSP \(\parallel\) B consistency checking, On the Purpose of Event-B Proof Obligations