Proving finiteness of CCS processes by non-standard semantics Nicoletta De FrancescoPaola Inverardi OriginalPaper Pages: 55 - 80
The connection between an event structure semantics and an operational semantics forTCSP Christel BaierMila E. Majster-Cederbaum OriginalPaper Pages: 81 - 104