Author:
Cunningham, R. J.
Nonnengart, Andreas (Max-Planck-Institut Informatik)
Szalas, Andrzej (University of Warsaw)
Title:
A Compositional Method for the Design and Proof of Asynchronous Processes
Publication type:
Conference paper (Refereed)
In:
Proceedings of the 4th Annual ESPRIT Conference (ESPRIT)
Conference:
4th Annual ESPRIT Conference (ESPRIT) on Esprit '87, Brussels, September 28-29, 1987
Place of publ.:
Amsterdam
Publisher:
North-Holland
URI:
urn:nbn:se:liu:diva-74986
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74986
Subject category:
Engineering and Technology
Available from:
2012-02-13
Statistics:
10 hits