Refine
H-BRS Bibliography
- no (1) (remove)
Document Type
Year of publication
- 2017 (1) (remove)
Language
- English (1)
Has Fulltext
- no (1)
Keywords
- Concurrent Kleene Algebra (1) (remove)
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.