Twenty years on: Reflections on the CEDISYS project. Combining true concurrency with process algebra

Cached

Download Links

by Gérard Boudol , Ilaria Castellani , Matthew Hennessy , Mogens Nielsen , Glynn Winskel
Citations:1 - 0 self