A Discrete Geometric Model of Concurrent Program Execution

详细信息    查看全文

• 关键词：Concurrent Kleene Algebra ; Laws of programming ; Trace algebra ; Semantic models ; Refinement ; Unifying theories
• 刊名：Lecture Notes in Computer Science
• 出版年：2017
• 出版时间：2017
• 年：2017
• 卷：10134
• 期：1
• 页码：1-25
• 丛书名：Unifying Theories of Programming
• ISBN：978-3-319-52228-9
• 卷排序：10134

文摘

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.