Djamel Eddine Saidouni; Jean Pierre Courtiat Syntactic Action Refinement in Presence of Multiway Synchronisation. Int. Workshop on Semantics of Specification Languages (SoSL): 289-303 (1994)

Jean Pierre Courtiat; Djamel Eddine Saidouni Action Refinement in LOTOS. 13th IFIP Int. Symp. on Protocol Specification, Testing and Verification (PSTV'93): 341-354 (1993)