Syntactic control of interference revisited
From MaRDI portal
Publication:1575885
DOI10.1016/S0304-3975(98)00359-4zbMath0956.68082MaRDI QIDQ1575885
Robert D. Tennent, Peter W. O'Hearn, A. John Power, Makoto Takeyama
Publication date: 23 August 2000
Published in: Theoretical Computer Science (Search for Journal in Brave)
Related Items (12)
The regular-language semantics of second-order idealized ALGOL ⋮ Geometry of Synthesis II: From Games to Delay-Insensitive Circuits ⋮ Modelling Local Variables: Possible Worlds and Object Spaces ⋮ Effect algebras, presheaves, non-locality and contextuality ⋮ A fibrational framework for possible-world semantics of \textsc{Algol}-like languages ⋮ Monoidal indeterminates and categories of possible worlds ⋮ Decidability and syntactic control of interference ⋮ Restriction categories. I: Categories of partial maps ⋮ Monoidal Indeterminates and Categories of Possible Worlds ⋮ Two Cotensors in One: Presentations of Algebraic Theories for Local State and Fresh Names ⋮ Categorical Models of Syntactic Control of Intereference Revisited, Revisited ⋮ Objects and classes in Algol-like languages
This page was built for publication: Syntactic control of interference revisited
