scientific article; zbMATH DE number 1086636
From MaRDI portal
Publication:4362886
zbMath0884.68082MaRDI QIDQ4362886
Thanh Tung Nguyen, Jules Desharnais, Ali Milli
Publication date: 13 November 1997
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Hardware implementations of nonnumerical algorithms (VLSI algorithms, etc.) (68W35) Semantics in the theory of computing (68Q55) Specification and verification (program logics, model checking, etc.) (68Q60)
Related Items
Algebraic separation logic ⋮ Relational Semantics Revisited ⋮ Relational demonic fuzzy refinement ⋮ Parallel composition and decomposition of specifications ⋮ Kleene under a modal demonic star