Sciweavers

Share
IANDC
2010

A thread calculus with molecular dynamics

9 years 6 months ago
A thread calculus with molecular dynamics
In a previous paper, we developed an algebraic theory of threads, interleaving of threads, and interaction between threads and services. In the current paper, we extend that theory with features of molecular dynamics, a model of computation suitable for object-based programs. In this model, threads interact with a service of which the states resemble collections of molecules composed of atoms and computations take place by means of actions which transform the structure of molecules like in chemical reactions. The features introduced include a feature to restrict the scope of names used in threads to refer to molecules. Because that feature makes it troublesome to provide a structural operational semantics, we construct a projective limit model for the extended theory.
Jan A. Bergstra, C. A. Middelburg
Added 03 Mar 2011
Updated 03 Mar 2011
Type Journal
Year 2010
Where IANDC
Authors Jan A. Bergstra, C. A. Middelburg
Comments (0)
books