EEMCS

Home > Publications
Home University of Twente
Education
Research
Prospective Students
Jobs
Publications
Intranet (internal)
 
 Nederlands
 Contact
 Search
 Organisation

EEMCS EPrints Service


Editor: Sangiorgi, D.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 2.

1998

Etalle, S. and Gabbrielli, M. and Meo, M.C. (1998) Unfold/Fold Transformations of CCP Programs. In: 9th Int. Conf. Concurrency Theory (CONCUR), Nice, France. pp. 348-365. Springer-Verlag. ISBN 3-540-64896-8
Hermanns, H. and Lohrey, M. (1998) Priority and Maximal Progress are completely axiomatisable. In: CONCUR'98 Concurrency Theory, September 8-11, 1998, Nice, France. pp. 237-252. Lecture Notes in Computer Science 1446. Springer Verlag. ISBN 3-540-64896-8

This list was generated on Mon May 29 05:23:48 CEST 2017.