EEMCS

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

EEMCS EPrints Service


Editor: Smolka, S.A.
Home Policy Brochure Browse Search User Area Contact Help

Number of items: 4.

2001

Gorrieri, R. and Rensink, A. (2001) Action Refinement. In: Handbook of Process Algebra. Elsevier, Amsterdam, pp. 1047-1146. ISBN 978-0-444-82830-9

1995

D'Argenio, P.R. and Mauw, S. (1995) Delayed choice for process algebra with abstraction. In: Proceedings of the 6th International Conference on Concurrency Theory CONCUR 95, Philadelphia,United States. pp. 501-515. Lecture Notes in Computer Science 962. Springer Verlag. ISBN 3-540-60218-6
Brinksma, H. and Rensink, A. and Vogler, W. (1995) Fair Testing. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 313-327. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7
Rensink, A. (1995) A Theory of Deterministic Event Structures. In: Concurrency Theory (CONCUR), Long Island, USA. pp. 160-174. Lecture Notes in Computer Science 962. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-60218-7

This list was generated on Fri Mar 24 07:05:26 CET 2017.