A thread algebra with multi-level strategic interleaving

J.A. Bergstra, C.A. Middelburg

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

7 Citations (Scopus)

Abstract

In a previous paper, we developed an algebraic theory of threads and multi-threads based on strategic interleaving. This theory includes a number of plausible interleaving strategies on thread vectors. The strategic interleaving of a thread vector constitutes a multi-thread. Several multi-threads may exist concurrently on a single host in a network, several host behaviors may exist concurrently in a single network on the internet, etc. Strategic interleaving is also present at these other levels. In the current paper, we extend the theory developed so far with features to cover multi-level strategic interleaving.
Original languageEnglish
Title of host publicationNew Computational Paradigms
Subtitle of host publicationFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
EditorsS.B. Cooper, B. Löwe, L. Torenvliet
Place of PublicationBerlin
PublisherSpringer
Chapter5
Pages35-48
Number of pages14
ISBN (Electronic)978-3-540-32266-5
ISBN (Print)3-540-26179-6, 978-3-540-26179-7
DOIs
Publication statusPublished - 2005

Publication series

NameLecture Notes in Computer Science (LNCS)
Volume3526
ISSN (Print)0302-9743

Fingerprint Dive into the research topics of 'A thread algebra with multi-level strategic interleaving'. Together they form a unique fingerprint.

  • Cite this

    Bergstra, J. A., & Middelburg, C. A. (2005). A thread algebra with multi-level strategic interleaving. In S. B. Cooper, B. Löwe, & L. Torenvliet (Eds.), New Computational Paradigms: First Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings (pp. 35-48). (Lecture Notes in Computer Science (LNCS); Vol. 3526). Berlin: Springer. https://doi.org/10.1007/11494645_5