scientific article; zbMATH DE number 1948166

zbMath1020.68048MaRDI QIDQ4411827

Guy McCusker

Publication date: 10 July 2003

Full work available at URL: http://link.springer.de/link/service/series/0558/bibs/2471/24710247.htm

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

zbMATH Keywords

semanticsmonoidsfull abstractionAlgol-like languagesinterference controlobject spaces

Mathematics Subject Classification ID

Theory of programming languages (68N15) Logic in computer science (03B70) Semantics in the theory of computing (68Q55)

Related Items (6)

Automata-theoretic semantics of idealized Algol with passive expressions ⋮ Geometry of Synthesis II: From Games to Delay-Insensitive Circuits ⋮ Modelling Local Variables: Possible Worlds and Object Spaces ⋮ Domain theory for concurrency ⋮ Decidability and syntactic control of interference ⋮ Decomposition orders -- another generalisation of the fundamental theorem of arithmetic

This page was built for publication: