Thread algebra for poly-threading

DOI10.1007/S00165-011-0178-3zbMATH Open1225.68060OpenAlexW3102808117MaRDI QIDQ640299FDOQ640299

C. A. Middelburg, J. A. Bergstra

Publication date: 18 October 2011

Published in: Formal Aspects of Computing (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00165-011-0178-3

zbMATH Keywords

process algebradistributed multi-threadingexecution architecturenon-distributed multi-threadingpoly-threadingthread algebra

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Program algebra for sequential code
• Thread algebra for strategic interleaving
• Logical Approaches to Computational Barriers
• Decision problems for pushdown threads
• Title not available (Why is that?)
• Operating Systems: Program overlay techniques
• Execution architectures for program algebra

Cited In (1)

• Title not available (Why is that?)

   Recommendations

• Thread algebra for strategic interleaving 👍 👎
• Thread algebra for noninterference 👍 👎
• Probabilistic Thread Algebra 👍 👎
• Denotational semantics for thread algebra 👍 👎
• Logical Approaches to Computational Barriers 👍 👎
• A thread algebra with multi-level strategic interleaving 👍 👎
• New Computational Paradigms 👍 👎
• Thread algebra with multi-level strategies 👍 👎
• Title not available (Why is that?) 👍 👎
• Standard threads and distributivity 👍 👎

This page was built for publication: Thread algebra for poly-threading

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