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 στο μοντέλο Actor, η δουλειά του Glynn Winskel σε δομές συμβάντων (event structures) και δίκτυα petri, και η δουλειά των Francez, Hoare, Lehmann, και de Roever (1979) στα trace semantics για CSP.