New Computational Paradigms

DOI10.1007/B136981MaRDI QIDQ5717067zbMATH OpenOpenAlexFDO

Authors J. A. Bergstra, C. A. Middelburg

Publication date 11 January 2006

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/b136981

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Recommendations

• Thread algebra with multi-level strategies
• A thread algebra with multi-level strategic interleaving
• Thread algebra for strategic interleaving
• Process algebra with strategic interleaving
• Synchronous cooperation for explicit multi-threading

Cited in

(12)

• Process algebra with strategic interleaving
• Thread algebra for strategic interleaving
• Denotational semantics for thread algebra
• A thread algebra with multi-level strategic interleaving
• Thread algebra for noninterference
• Probabilistic thread algebra
• Thread algebra with multi-level strategies
• Thread algebra for poly-threading
• A generalization of ACP using Belnap's logic
• Execution architectures for program algebra
• Decision problems for pushdown threads
• A thread calculus with molecular dynamics

This page was built for publication: New Computational Paradigms

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