Synchronous cooperation for explicit multi-threading
DOI10.1007/S00236-007-0057-9zbMATH Open1133.68051OpenAlexW2151878555MaRDI QIDQ2464036FDOQ2464036
Authors: C. A. Middelburg, J. A. Bergstra
Publication date: 10 December 2007
Published in: Acta Informatica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s00236-007-0057-9
Recommendations
Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Cites Work
- Notions of bisimulation and congruence formats for SOS with data
- Process algebra for synchronous communication
- Title not available (Why is that?)
- Processes and the denotational semantics of concurrency
- Program algebra for sequential code
- CONCUR 2005 – Concurrency Theory
- A Theory of Computer Instructions
- Combining programs and state machines
- Thread algebra for strategic interleaving
- Fixed point equations with parameters in the projective model
- A thread algebra with multi-level strategic interleaving
- Thread algebra with multi-level strategies
- Algebraic and fixed point equations over inverse limits of algebras
- Maurer computers for pipelined instruction processing
- Program algebra for component code
- A thread calculus with molecular dynamics
- Linear time and branching time semantics for recursion with merge
- Title not available (Why is that?)
- A theory of computer instructions
Cited In (8)
- On the expressiveness of single-pass instruction sequences
- Simulating Turing machines on Maurer machines
- A thread calculus with molecular dynamics
- Resource control for synchronous cooperative threads
- A model of cooperative threads
- A model of cooperative threads
- New Computational Paradigms
- Feasible reactivity for synchronous cooperative threads
This page was built for publication: Synchronous cooperation for explicit multi-threading
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2464036)