Thread algebra for poly-threading
TL;DR: This work extends basic thread algebra with poly-threading, the barest mechanism for sequencing of threads that are taken for program fragment behaviours, and relates the resulting theory to the process theory known as ACP and uses it to describe analytic execution architectures suited for fragmented programs.
read more
Abstract: It is a fact of life that sequential programs are often fragmented. Consequently, fragmented program behaviours are frequently found. We consider this phenomenon in the setting of thread algebra. We extend basic thread algebra with poly-threading, the barest mechanism for sequencing of threads that are taken for program fragment behaviours. This mechanism is the counterpart of program overlaying at the level of program behaviours. We relate the resulting theory to the process theory known as ACP and use it to describe analytic execution architectures suited for fragmented programs. We also consider the case where the steps of fragmented program behaviours are interleaved in the ways of non-distributed and distributed multi-threading.
read more
Chat with Paper
AI Agents for this Paper
Find similar papers on Google Scholar, PubMed and Arxiv
Write a critical review of this paper
Analyze citations of this paper to find unaddressed research gaps
Citations
Thread extraction for polyadic instruction sequences
Jan A. Bergstra,Cornelis A. Middelburg +1 more
- 01 Jan 2011
TL;DR: This paper formalizes a simple mechanism by which several instruction sequence fragments can produce a joint behaviour and shows that, even in the case of this simple mechanism, it is a non-trivial matter to explain by means of a translation into a single instruction sequence what takes place on execution of a collection of Instruction sequence fragments.
•Posted Content
Thread extraction for polyadic instruction sequences
TL;DR: In this paper, the authors formalize a simple mechanism by which several instruction sequence fragments can produce a joint behavior, and show that even in the case of this simple mechanism, it is a non-trivial matter to explain by means of a translation into a single instruction sequence what takes place on execution of a collection of instruction sequence fragment fragments.
21
•Posted Content
On the definition of a theoretical concept of an operating system
TL;DR: This work dwells on how a definition of a theoretical concept of an operating system, suitable to be incorporated in a mathematical theory of operating systems, could look like.
•Posted Content
Decision Taking for Selling Thread Startup
TL;DR: Decision Taking is discussed in the context of the role it may play for a selling agent in a search market, in particular for agents involved in the sale of valuable and relatively unique items.
5
•Posted Content
Instruction sequences for the production of processes
TL;DR: It is shown 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.
References
Communicating sequential processes
TL;DR: It is suggested that input and output are basic primitives of programming and that parallel composition of communicating sequential processes is a fundamental program structuring method.
•Book
Communication and Concurrency
Robin Milner
- 01 Jan 1989
TL;DR: This chapter discusses Bisimulation and Observation Equivalence as a Modelling Communication, a Programming Language, and its application to Equational laws.
9K
•Book
The Java Language Specification
James Gosling,Bill Joy,Guy L. Steele +2 more
- 12 Sep 1996
TL;DR: The Java Language Specification, Second Edition is the definitive technical reference for the Java programming language and provides complete, accurate, and detailed coverage of the syntax and semantics of the Java language.
Process algebra for synchronous communication
Jan A. Bergstra,Jan Willem Klop +1 more
TL;DR: Within the context of an algebraic theory of processes, an equational specification of process cooperation is provided and some relationships are shown to hold between the four concepts of merging.
CHAPTER 13 – Algebraic Specification
Martin Wirsing
- 01 Jan 1990
TL;DR: In this paper, the basic concepts for the theory of algebraic specifications are reviewed, and four other semantic concepts and algebras for specifying nondeterminism and concurrency are presented.
522