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 (5)

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

This page was built for publication: The essence of parallel Algol.