EEMCS

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 ***

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 Rensink, A. (1994) Finite Petri Nets as Models for Recursive Causal Behaviour. Theoretical computer science, 124 (1). pp. 169-179. ISSN 0304-3975 *** ISI Impact 0,838 ***

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