A thread calculus with molecular dynamics

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

zbMATH Keywords

molecular dynamicsrestrictionthread algebraprojective limit modelthread calculus

Mathematics Subject Classification ID

Related Items (2)

Synchronous cooperation for explicit multi-threading ⋮ Instruction sequence processing operators

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• 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

This page was built for publication: A thread calculus with molecular dynamics