Denotational semantics for thread algebra

DOI10.1016/J.JLAP.2007.05.002MaRDI QIDQ2469153zbMATH OpenOpenAlexWikidataFDO

Authors 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

metric denotational semanticsstrategic interleavingthread algebra

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)

Recommendations

• Logical Approaches to Computational Barriers
• Thread algebra for noninterference
• Thread algebra for strategic interleaving
• scientific article; zbMATH DE number 3902017
• Full abstraction for a shared-variable parallel language

Cites work

• A calculus of communicating systems
• Handbook of metric fixed point theory
• scientific article; zbMATH DE number 3716792 (Why is no real title available?)
• scientific article; zbMATH DE number 107999 (Why is no real title available?)
• scientific article; zbMATH DE number 3581219 (Why is no real title available?)
• scientific article; zbMATH DE number 2038694 (Why is no real title available?)
• New Computational Paradigms
• Polarized process algebra with reactive composition
• Process Algebra
• Process algebra for synchronous communication
• Processes and the denotational semantics of concurrency
• Program algebra for sequential code
• Structural operational semantics.
• The connection between initial and unique solutions of domain equations in the partial order and metric approach

Cited in

(5)

• A model of cooperative threads
• Thread algebra for noninterference
• A model of cooperative threads
• Logical Approaches to Computational Barriers
• Thread algebra for poly-threading

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

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