scientific article; zbMATH DE number 3621088
From MaRDI portal
Publication:4184276
zbMath0399.68016MaRDI QIDQ4184276
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
TerminationSemanticsEquivalenceDirected GraphRecursive ProgramsBehaviourPartial CorrectnessTransitions of States
Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02)
Related Items (5)
Developments in concurrent Kleene algebra ⋮ Exploring an Interface Model for CKA ⋮ Gunther Schmidt's life as a mathematician and computer scientist ⋮ Programs as partial graphs. I: Flow equivalence and correctness ⋮ Programs as partial graphs. II: Recursion
This page was built for publication: