scientific article
From MaRDI portal
Publication:3888505
zbMath0444.68011MaRDI QIDQ3888505
Publication date: 1980
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Specification and verification (program logics, model checking, etc.) (68Q60) Abstract data types; algebraic specification (68Q65)
Related Items
A theory for nondeterminism, parallelism, communication, and concurrency ⋮ Rewriting with a nondeterministic choice operator ⋮ Comparaison et équivalence de sémantiques pour les schémas de programmes non déterministes ⋮ Whither semantics? ⋮ On the Herbrand-Kleene universe for nondeterministic computations ⋮ R-fuzzy computation
This page was built for publication: