The essence of parallel Algol.

DOI10.1006/inco.2002.2995zbMath1053.68025OpenAlexW3182437156MaRDI QIDQ1400721

Stephen Brookes

Publication date: 2002

Published in: Information and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1006/inco.2002.2995

zbMATH Keywords

denotational semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55)

Related Items

Full Abstraction Without Synchronization Primitives, A semantics for concurrent separation logic, Infinite trace equivalence, Unnamed Item, Strong fairness and full abstraction for communicating processes

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Semantics of interference control
• A lattice-theoretical fixpoint theorem and its applications
• A model for syntactic control of interference
• Parametricity and local variables
• From Algol to polymorphic linear lambda-calculus