Skip to main content

Specification of communicating processes: temporal logic versus refusals−based refinement

Gavin Lowe

Journal
Formal Aspects of Computing
Year
2008