Denotational semantics for thread algebra

DOI10.1016/j.jlap.2007.05.002zbMath1131.68069OpenAlexW2142757043WikidataQ114851557 ScholiaQ114851557MaRDI QIDQ2469153

Thuy Duong Vu

Publication date: 4 February 2008

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2007.05.002

zbMATH Keywords

thread algebrastrategic interleavingmetric denotational semantics

Mathematics Subject Classification ID

Theory of programming languages (68N15) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (1)

Thread algebra for noninterference

Cites Work

• A calculus of communicating systems
• The connection between initial and unique solutions of domain equations in the partial order and metric approach
• Program algebra for sequential code
• Polarized process algebra with reactive composition
• Process algebra for synchronous communication
• Process Algebra
• Processes and the denotational semantics of concurrency
• New Computational Paradigms
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Denotational semantics for thread algebra