A Discrete Geometric Model of Concurrent Program Execution
- A trace of the execution of a concurrent object-oriented program can be displayed in two-dimensions as a diagram of a non-metric finite geometry. The actions of a programs are represented by points, its objects and threads by vertical lines, its transactions by horizontal lines, its communications and resource sharing by sloping arrows, and its partial traces by rectangular figures.
| Document Type: | Conference Object |
|---|---|
| Language: | English |
| Author: | Bernhard Möller, Tony Hoare, Martin E. Müller, Georg Struth |
| Parent Title (English): | Bowen, Zhu (Eds.): Unifying Theories of Programming. 6th International Symposium, UTP 2016, Reykjavik, Iceland, June 4-5, 2016, Revised Selected Papers. Lecture Notes in Computer Science (LNCS), Vol. 10134 |
| First Page: | 1 |
| Last Page: | 25 |
| ISBN: | 978-3-319-52227-2 |
| DOI: | https://doi.org/10.1007/978-3-319-52228-9_1 |
| Publisher: | Springer |
| Date of first publication: | 2017/01/11 |
| Keyword: | Concurrent Kleene Algebra; Laws of programming; Refinement; Semantic models; Trace algebra; Unifying theories |
| Dewey Decimal Classification (DDC): | 0 Informatik, Informationswissenschaft, allgemeine Werke / 00 Informatik, Wissen, Systeme / 004 Datenverarbeitung; Informatik |
| Entry in this database: | 2017/01/13 |
