A thread calculus with molecular dynamics
From MaRDI portal
Publication:988554
DOI10.1016/J.IC.2010.01.004zbMath1197.68046arXiv0711.0840OpenAlexW2153723415MaRDI QIDQ988554
C. A. Middelburg, Jan A. Bergstra
Publication date: 18 August 2010
Published in: Information and Computation (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/0711.0840
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Related Items (2)
Cites Work
- Fixed point equations with parameters in the projective model
- Algebraic and fixed point equations over inverse limits of algebras
- The chemical abstract machine
- A calculus of mobile processes. II
- Linear time and branching time semantics for recursion with merge
- An alternative formulation of operational conservativity with binding terms.
- Equivalence of recursive specifications in process algebra
- Program algebra for sequential code
- Combining programs and state machines
- Molecular dynamics
- Thread algebra for strategic interleaving
- Synchronous cooperation for explicit multi-threading
- Splitting bisimulations and retrospective conditions
- The programming language Pascal
- A thread algebra with multi-level strategic interleaving
- Process algebra for synchronous communication
- A foundation for actor computation
- Processes and the denotational semantics of concurrency
- Maurer computers for pipelined instruction processing
- CONCUR 2005 – Concurrency Theory
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
This page was built for publication: A thread calculus with molecular dynamics
