Journal: Formal Asp. Comput.

Volume 10, Issue 2

97 -- 124David A. Carrington, Ian J. Hayes, Ray Nickson, Geoffrey Watson, Jim Welsh. A Program Refinement Tool
125 -- 159John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen. Specifying and Refining Internal Operations in Z
160 -- 170Philippe de Groote, Guy Perrier. A Note on Kobayashi s and Yonezawa s Asynchronous Communication Model Based on Linear Logic
171 -- 186Tobias Nipkow. Winskel is (almost) Right: Towards a Mechanized Semantics
187 -- 192Ian J. Hayes. Expressive Power of Specification Languages