Thread algebra for poly-threading
DOI10.1007/S00165-011-0178-3zbMATH Open1225.68060OpenAlexW3102808117MaRDI QIDQ640299FDOQ640299
Authors: 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
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
- scientific article; zbMATH DE number 3986623
- Standard threads and distributivity
process algebradistributed multi-threadingexecution architecturenon-distributed multi-threadingpoly-threadingthread algebra
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 (3)
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)
