The connection between an event structure semantics and an operational semantics for TCSP
scientific article; zbMATH DE number 567309
scientific article