EEMCS

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

Rensink, A. and Gorrieri, R. (2001) Vertical Implementation. Information and computation, 170 (1). pp. 95-133. ISSN 0890-5401 *** ISI Impact 0,825 ***

Rensink, A. and Gorrieri, R. (1997) Action Refinement as an Implementation Relation. In: Theory and Practice of Software Development (TAPSOFT). pp. 772-786. Lecture Notes in Computer Science 1214. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-62781-4

Rensink, A. and Gorrieri, R. (1997) Action Refinement for Vertical Implementation. In: Formale Beschreibungstechniken für verteilte Systeme. pp. 69-78. GMD-Studien (315). Oldenbourg Verlag. ISBN 3-88457-315-2

Goltz, U. and Gorrieri, R. and Rensink, A. (1996) Comparing Syntactic and Semantics Action Refinement. Information and computation, 125 (2). pp. 118-143. ISSN 0890-5401 *** ISI Impact 0,825 ***

Rensink, A. and Gorrieri, R. (1995) Vertical Bisimulation. Hildesheimer Informatik-Bericht 9/98, Institut für Informatik, University of Hildesheim, Hildesheim. ISSN 0941-3014

Goltz, U. and Gorrieri, R. and Rensink, A. (1994) On Syntactic and Semantic Action Refinement. In: Theoretical Aspects of Computer Software, Sendai, Japan. pp. 385-404. Lecture Notes in Computer Science 789. Springer Verlag. ISSN 0302-9743 ISBN 978-3-540-57887-1

Goltz, U. and Gorrieri, R. and Rensink, A. (1992) On Syntactic and Semantic Action Refinement. Hildesheimer Informatik-Bericht 17/92, Institut für Informatik, University of Hildesheim, Hildesheim, Germany. ISSN 0941-3014