scientific article; zbMATH DE number 1330044
From MaRDI portal
Publication:4258224
zbMath0931.68047MaRDI QIDQ4258224
A. J. M. van Gasteren, W. H. J. Feijen
Publication date: 1 September 1999
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Research exposition (monographs, survey articles) pertaining to computer science (68-02) General topics in the theory of software (68N01)
Related Items (7)
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications ⋮ Formal derivation of an algorithm for distributed phase synchronization ⋮ An Algebraic Approach to Refinement with Fair Choice ⋮ Streamlining progress-based derivations of concurrent programs ⋮ Partition consistency. A case study in modeling systems with weak memory consistency and proving correctness of their implementations ⋮ Invariant-based reasoning about parameterized security protocols ⋮ Proof of OS Scheduling Behavior in the Presence of Interrupt-Induced Concurrency
This page was built for publication:
