A Hoare-style Proof System for LOTOS. - S. Gallouzi; Luigi Logrippo; Abdellatif Obaid (FORTE, 1990)

An expressive trace theory for LOTOS. - S. Gallouzi; Luigi Logrippo; Abdellatif Obaid (PSTV, 1991)