Ausgabe 2/1998
Inhalt (5 Artikel)
Original Paper
Specifying and Refining Internal Operations in Z
John Derrick, Eerke Boiten, Howard Bowman, Maarten Steen
Original Paper
A Note on Kobayashi's and Yonezawa's “Asynchronous Communication Model Based on Linear Logic”
Philippe de Groote, Guy Perrier