A thread calculus with molecular dynamics

Details A thread calculus with molecular dynamics A thread calculus with molecular dynamics

2007-11-06

arxiv.org/abs/0711.0840v2

Information and Computation, 208(7):817-844, 2010

Computer Science

Logic in Computer Science

47 pages; examples and results added, phrasing improved, references replaced

Scientific paper

10.1016/j.ic.2010.01.004

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.

Affiliated with

Also associated with

No associations

Rating

A thread calculus with molecular dynamics does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with A thread calculus with molecular dynamics, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and A thread calculus with molecular dynamics will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-134334