Thatched Partial Orders
Mitchell, Bill (2001) Thatched Partial Orders.
- Draft Version
Available under License Creative Commons Attribution Non-commercial.
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.
|Divisions:||Faculty of Physical Sciences and Engineering > Electronics and Computer Science
Faculty of Physical Sciences and Engineering > Electronics and Computer Science > IT Innovation Centre
|Date Deposited:||28 May 2009 13:49|
|Last Modified:||01 Mar 2012 16:41|
|Further Information:||Google Scholar|
|RDF:||RDF+N-Triples, RDF+N3, RDF+XML, Browse.|
Actions (login required)