Locations considered unnecessary
From MaRDI portal
Publication:1232295
DOI10.1007/BF00264468zbMath0343.68019MaRDI QIDQ1232295
Publication date: 1977
Published in: Acta Informatica (Search for Journal in Brave)
Related Items (3)
The expressive power of Structural Operational Semantics with explicit assumptions ⋮ Deriving a Floyd-Hoare logic for non-local jumps from a formulæ-as-types notion of control ⋮ Semantics of interference control
This page was built for publication: Locations considered unnecessary
