A LOTOS Based Calculus with True Concurrency Semantics. - Jean-Pierre Courtiat; Rosvelter João Coelho da Costa (FORTE, 1991)

A true concurrency semantics for LOTOS. - Rosvelter João Coelho da Costa; Jean-Pierre Courtiat (FORTE, 1992)

A Causality-based Semantics for CCS. - Rosvelter João Coelho da Costa; Jean-Pierre Courtiat (NAPAW, 1992)