A thread algebra with multi-level strategic interleaving

J.A. Bergstra, C.A. Middelburg

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

7 Citaten (Scopus)

Samenvatting

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.
Originele taal-2Engels
TitelNew Computational Paradigms
SubtitelFirst Conference on Computability in Europe, CiE 2005, Amsterdam, The Netherlands, June 8-12, 2005. Proceedings
RedacteurenS.B. Cooper, B. Löwe, L. Torenvliet
Plaats van productieBerlin
UitgeverijSpringer
Hoofdstuk5
Pagina's35-48
Aantal pagina's14
ISBN van elektronische versie978-3-540-32266-5
ISBN van geprinte versie3-540-26179-6, 978-3-540-26179-7
DOI's
StatusGepubliceerd - 2005

Publicatie series

NaamLecture Notes in Computer Science (LNCS)
Volume3526
ISSN van geprinte versie0302-9743

Vingerafdruk Duik in de onderzoeksthema's van 'A thread algebra with multi-level strategic interleaving'. Samen vormen ze een unieke vingerafdruk.

Citeer dit