Examples include Will Clinger's work with the actor model; Glynn Winskel's work with event structures and petri nets; and the work by Francez, Hoare, Lehmann, and de Roever (1979) on trace semantics for CSP.
例子包括Will Clinger 关于演员模型的工作；Glynn Winskel 关于事件结构和petri网的工作 ；和 Francez, Hoare, Lehmann 和 de Roever (1979) 关于CSP 的跟踪语义的工作。