scientific article; zbMATH DE number 3614151
From MaRDI portal
Publication:4178465
zbMath0395.68019MaRDI QIDQ4178465
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Data structures (68P05)
Related Items
Quantifiability: a concurrent correctness condition modeled in vector space ⋮ Monitors with associated processors ⋮ Compile time preparations for run time scheduling in monitors