A thread calculus with molecular dynamics

DOI10.1016/J.IC.2010.01.004MaRDI QIDQ988554zbMATH OpenOpenAlexFDO

Authors C. A. Middelburg, J. 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

restrictionmolecular dynamicsthread algebraprojective limit modelthread calculus

Mathematics Subject Classification ID

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)

Abstract: We present a theory of threads, interleaving of threads, and interaction between threads and services with features of molecular dynamics, a model of computation that bears on computations in which dynamic data structures are involved. Threads can interact with services of which the states consist of structured data objects and computations take place by means of actions which may change the structure of the data objects. The features introduced include restriction of the scope of names used in threads to refer to data objects. Because that feature makes it troublesome to provide a model based on structural operational semantics and bisimulation, we construct a projective limit model for the theory.

Recommendations

• Thread algebra with multi-level strategies
• New Computational Paradigms
• Thread algebra for strategic interleaving
• Calculi for interaction
• A thread algebra with multi-level strategic interleaving

Cites work

• scientific article; zbMATH DE number 53151 (Why is no real title available?)
• scientific article; zbMATH DE number 1257634 (Why is no real title available?)
• scientific article; zbMATH DE number 1142323 (Why is no real title available?)
• scientific article; zbMATH DE number 2038694 (Why is no real title available?)
• scientific article; zbMATH DE number 1368948 (Why is no real title available?)
• scientific article; zbMATH DE number 3232606 (Why is no real title available?)
• scientific article; zbMATH DE number 3304986 (Why is no real title available?)
• scientific article; zbMATH DE number 3336674 (Why is no real title available?)
• A calculus of mobile processes. II
• A foundation for actor computation
• A thread algebra with multi-level strategic interleaving
• Algebraic and fixed point equations over inverse limits of algebras
• An alternative formulation of operational conservativity with binding terms.
• CONCUR 2005 – Concurrency Theory
• Combining programs and state machines
• Equivalence of recursive specifications in process algebra
• Fixed point equations with parameters in the projective model
• Linear time and branching time semantics for recursion with merge
• Maurer computers for pipelined instruction processing
• Molecular dynamics
• Process algebra for synchronous communication
• Processes and the denotational semantics of concurrency
• Program algebra for sequential code
• Splitting bisimulations and retrospective conditions
• Structural operational semantics.
• Synchronous cooperation for explicit multi-threading
• The chemical abstract machine
• The programming language Pascal
• Thread algebra for strategic interleaving
• Thread algebra with multi-level strategies

Cited in

(3)

• Instruction sequence processing operators
• Synchronous cooperation for explicit multi-threading
• Molecular dynamics

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q988554)