Instruction sequences for the production of processes

Details Instruction sequences for the production of processes Instruction sequences for the production of processes

2008-11-04

arxiv.org/abs/0811.0436v2

Computer Science

Programming Languages

23 pages; acknowledgement corrected, reference updated

Scientific paper

Single-pass instruction sequences under execution are considered to produce behaviours to be controlled by some execution environment. Threads as considered in thread algebra model such behaviours: upon each action performed by a thread, a reply from its execution environment determines how the thread proceeds. Threads in turn can be looked upon as producing processes as considered in process algebra. We show that, by apposite choice of basic instructions, all processes that can only be in a finite number of states can be produced by single-pass instruction sequences.

Affiliated with

Also associated with

No associations

Rating

Instruction sequences for the production of processes 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 Instruction sequences for the production of processes, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Instruction sequences for the production of processes will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-183842