scientific article; zbMATH DE number 3581599
From MaRDI portal
Publication:4151148
zbMath0373.68029MaRDI QIDQ4151148
Norihisa Suzuki, Lawrence Flon
Publication date: 1978
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (5)
Transformational semantics for concurrent programs ⋮ A unified approach for studying the properties of transition systems ⋮ On Distributive Fixed-Point Expressions ⋮ Formal derivation of strongly correct concurrent programs ⋮ A weakest precondition semantics for communicating processes
This page was built for publication:
