Thatched Partial Orders


Mitchell, Bill (2001) Thatched Partial Orders

Download

[img] PDF pdf_paper.pdf - Other
Available under License Other.

Download (96kB)

Description/Abstract

A thatch is a type of partial ordering which is most naturally described as a geometric construction. The geometry of these constructions is outlined in this note. A wait-and-see concurrent process may include any number of sub-processes, each regarded as a separate thread of execution. However if at any point the process launches a collection of concurrent threads it must wait and see how they terminate before proceeding. Each sub-process may also launch further sub-processes, which are also subject to the wait and see restriction. A wait-and-see process can be regarded as a thatch. This note describes some interesting mathematical properties of thatching that are relevant to these concurrent processes.

Item Type: Other
Organisations: Electronics & Computer Science, IT Innovation
ePrint ID: 267412
Date :
Date Event
2001Accepted/In Press
Date Deposited: 28 May 2009 13:49
Last Modified: 17 Apr 2017 18:48
Further Information:Google Scholar
URI: http://eprints.soton.ac.uk/id/eprint/267412

Actions (login required)

View Item View Item