Instruction sequences for the production of processes

Simple item page
dc.creatorBergstra, J. A.
dc.creatorMiddelburg, C. A.
dc.date2008-11-04
dc.date2008-11-18
dc.date.accessioned2026-07-07T10:18:38Z
dc.date.available2026-07-07T10:18:38Z
dc.descriptionSingle-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.
dc.description23 pages; acknowledgement corrected, reference updated
dc.identifierhttps://arxiv.org/abs/0811.0436
dc.identifierhttp://arxiv.org/abs/0811.0436
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/174253
dc.subjectProgramming Languages
dc.subjectLogic in Computer Science
dc.subjectD.1.4; F.1.1; F.1.2; F.3.2
dc.titleInstruction sequences for the production of processes
dc.typetext

Files

Collections

arXiv