1. Towards action-refinement in process algebras;Aceto,1989
2. The connection between an event structure semantics and an operational semantics for TCSP;Baier;Acta Inform.,1994
3. Domains and event structures for fusions;Baldan,2017
4. Composition and decomposition of multiparty sessions;Barbanera;J. Log. Algebraic Methods Program.,2021
5. Categories of Asynchronous Systems;Bednarczyk,1988