Hoare, Tony
[Author];
van Staden, Stephan
[Author];
Möller, Bernhard
[Author];
Struth, Georg
[Author];
Villard, Jules
[Author];
Zhu, Huibiao
[Author];
O’Hearn, Peter
[Author]
You can manage bookmarks using lists, please log in to your user account for this.
Media type:
E-Article
Title:
Developments in Concurrent Kleene Algebra
Contributor:
Hoare, Tony
[Author];
van Staden, Stephan
[Author];
Möller, Bernhard
[Author];
Struth, Georg
[Author];
Villard, Jules
[Author];
Zhu, Huibiao
[Author];
O’Hearn, Peter
[Author]
Published:
Augsburg University Publication Server (OPUS), 2014
Language:
English
DOI:
https://doi.org/10.1007/978-3-319-06251-8_1
ISBN:
9783319062501;
9783319062518
Origination:
Footnote:
Diese Datenquelle enthält auch Bestandsnachweise, die nicht zu einem Volltext führen.
Description:
This report summarises recent progress in the research of its co-authors towards the construction of links between algebraic presentations of the principles of programming and the exploitation of concurrency in modern programming practice. The research concentrates on the construction of a realistic family of partial order models for Concurrent Kleene Algebra (aka, the Laws of Programming). The main elements of the model are objects and the events in which they engage. Further primitive concepts are traces, errors and failures, and transferrable ownership. In terms of these we can define other concepts which have proved useful in reasoning about concurrent programs, for example causal dependency and independence, sequentiality and concurrency, allocation and disposal, synchrony and asynchrony, sharing and locality, input and output.