Specification of communicating processes: temporal logic versus refusals−based refinement (Formal Aspects of Computing, 2008)

(untitled) - Lowe, G