Synchronous cooperation for explicit multi-threading
From MaRDI portal
Publication:2464036
DOI10.1007/s00236-007-0057-9zbMath1133.68051OpenAlexW2151878555MaRDI QIDQ2464036
C. A. Middelburg, Jan 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
Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items (3)
On the expressiveness of single-pass instruction sequences ⋮ Simulating Turing machines on Maurer machines ⋮ A thread calculus with molecular dynamics
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Fixed point equations with parameters in the projective model
- A thread calculus with molecular dynamics
- Algebraic and fixed point equations over inverse limits of algebras
- Linear time and branching time semantics for recursion with merge
- Program algebra for component code
- Program algebra for sequential code
- Combining programs and state machines
- Thread algebra for strategic interleaving
- Notions of bisimulation and congruence formats for SOS with data
- A theory of computer instructions
- A thread algebra with multi-level strategic interleaving
- Process algebra for synchronous communication
- Processes and the denotational semantics of concurrency
- Maurer computers for pipelined instruction processing
- A Theory of Computer Instructions
- CONCUR 2005 – Concurrency Theory
This page was built for publication: Synchronous cooperation for explicit multi-threading