EEMCS

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

EEMCS EPrints Service


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

Number of items: 3.

2011

Bergstra, J.A. and van de Pol, J.C. (2011) A Calculus for Four-Valued Sequential Logic. Theoretical computer science, 412 (28). pp. 3122-3128. ISSN 0304-3975 *** ISI Impact 0,643 ***
Aceto, L. and Chen, Taolue and Ingolfsdottir, A. and Luttik, B. and van de Pol, J.C. (2011) On the axiomatizability of priority II. Theoretical computer science, 412 (28). pp. 3035-3044. ISSN 0304-3975 *** ISI Impact 0,643 ***

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

This list was generated on Fri May 26 05:30:59 CEST 2017.