scientific article

zbMath0444.68011MaRDI QIDQ3888505

Maurice Nivat

Publication date: 1980

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

operational semanticscomplete partially ordered spacenon-deterministic recursive program

Mathematics Subject Classification ID

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: