A thread calculus with molecular dynamics

DOI10.1016/J.IC.2010.01.004zbMATH Open1197.68046arXiv0711.0840OpenAlexW2153723415MaRDI QIDQ988554FDOQ988554

Authors: C. A. Middelburg, J. A. Bergstra 

Publication date: 18 August 2010

Published in: Information and Computation (Search for Journal in Brave)

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.

Full work available at URL: https://arxiv.org/abs/0711.0840

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

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)

Cites Work

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

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)