LiU Electronic Press
Full-text not available in DiVA
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)
Language:
English
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
Pages:
566-580
Year of publ.:
1987
URI:
urn:nbn:se:liu:diva-74986
Permanent link:
http://urn.kb.se/resolve?urn=urn:nbn:se:liu:diva-74986
ISBN:
0-444-70333-0
Subject category:
Engineering and Technology
Available from:
2012-02-13
Created:
2012-02-13
Last updated:
2012-02-22
Statistics:
12 hits