bibkey: winskel1987eventstructures
authors: Glynn Winskel
year: 1987
title: Event Structures
doi: null
url: https://www.cl.cam.ac.uk/~gw104/Winskel1987_Chapter_EventStructures.pdf
claim: "Event structures describe causality and consistency of events; their configurations form domains reconstructed from finite configurations."
strata_touched: []
license: citation-only
triage: anchor

事件结构与配置域

Glynn Winskel，Event Structures，载 Petri Nets: Applications and Relationships to Other Models of Concurrency，Lecture Notes in Computer Science 255，pp. 325–392。

事件的因果偏序、有限相容集与向下闭配置把并发和冲突区分开。配置的有向并 及由有限配置重建整体，是域论表示的标准内容。

AURIC Ω 第 1、3 节 固定有限或可数事件集、有限主下集及明确的相容闭包条件，并逐项证明所用的 有向并和理想重建。静态配置域不意味着所有互斥分支可以合并，也不给量子 概率、物理时钟单位或任意读出路径无关性。

Locator

• 章节 PDF：https://www.cl.cam.ac.uk/~gw104/Winskel1987_Chapter_EventStructures.pdf

定位范围为本注所述的事件因果、有限相容性、配置域及有限配置重建的域论背景； 不把量子概率、时钟标定或读出路径无关性归于该文献。