On the behaviours produced by instruction sequences under execution

Details On the behaviours produced by instruction sequences under execution On the behaviours produced by instruction sequences under execution

2011-06-30

arxiv.org/abs/1106.6196v1

Computer Science

Programming Languages

31 pages, consolidates material from arXiv:0811.0436 [cs.PL], arXiv:0902.2859 [cs.PL], and arXiv:0905.2257 [cs.PL]

Scientific paper

The behaviour produced by an instruction sequence under execution is a behaviour to be controlled by some execution environment: each step performed actuates the processing of an instruction by the execution environment and a reply returned at completion of the processing determines how the behaviour proceeds. The increasingly occurring case where the processing takes place remotely involves the generation of a stream of instructions to be processed and a remote execution unit that handles the processing of this stream of instructions. We use process algebra to describe the behaviours produced by instruction sequences under execution and to describe two protocols implementing these behaviours in the case of remote processing. We also show that all finite-state behaviours considered in process algebra can be produced by instruction sequences under execution.

Affiliated with

Also associated with

No associations

Rating

On the behaviours produced by instruction sequences under execution 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 On the behaviours produced by instruction sequences under execution, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and On the behaviours produced by instruction sequences under execution will most certainly appreciate the feedback.

Rate now

Comments { 0 }

Profile ID: LFWR-SCP-O-35064