Angelic semantics of fine-grained concurrency

DOI10.1016/J.APAL.2007.10.005zbMATH Open1133.68011OpenAlexW2030121500MaRDI QIDQ2474441FDOQ2474441

Authors: Dan R. Ghica, Andrzej S. Murawski 

Publication date: 6 March 2008

Published in: Annals of Pure and Applied Logic (Search for Journal in Brave)

Full work available at URL: https://ora.ox.ac.uk/objects/uuid:46b97d31-7737-496a-ba2d-175c34ac5f44

Recommendations

• Foundations of Software Science and Computation Structures
• A Fully Abstract Game Semantics for Parallelism with Non-Blocking Synchronization on Shared Variables
• A Game Semantics of Idealized CSP
• Game Semantics for Higher-Order Concurrency
• Full abstraction without synchronization primitives

zbMATH Keywords

game semanticsMay-equivalenceshared-memory concurrency

Mathematics Subject Classification ID

Theory of programming languages (68N15) Applications of game theory (91A80) Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Semantics in the theory of computing (68Q55)

Cites Work

• On full abstraction for PCF: I, II and III
• Title not available (Why is that?)
• CONCUR 2004 - Concurrency Theory
• Title not available (Why is that?)
• Title not available (Why is that?)
• Automata, Languages and Programming
• Bireflectivity
• A Game Semantics of Idealized CSP

Cited In (17)

• A system-level game semantics
• Latent semantic analysis of game models using LSTM
• The far side of the cube. An elementary introduction to game semantics
• Full abstraction without synchronization primitives
• A tale of additives and concurrency in game semantics
• A truly concurrent game model of the asynchronous \(\pi\)-calculus
• Synchronous game semantics via round abstraction
• Game semantics in the nominal model
• Disentangling parallelism and interference in game semantics
• Foundations of Software Science and Computation Structures
• Leafy automata for higher-order concurrency
• Title not available (Why is that?)
• Automata, Languages and Programming
• Title not available (Why is that?)
• Syntactic control of concurrency
• Game Semantics for Higher-Order Concurrency
• Geometry of synthesis. II: From games to delay-insensitive circuits

This page was built for publication: Angelic semantics of fine-grained concurrency

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2474441)