Rensink, Arend; Gorrieri, Roberto Vertical implementation. (English) Zbl 1005.68095 Inf. Comput. 170, No. 1, 95-133 (2001). MSC: 68Q60 68N30 PDFBibTeX XMLCite \textit{A. Rensink} and \textit{R. Gorrieri}, Inf. Comput. 170, No. 1, 95--133 (2001; Zbl 1005.68095) Full Text: DOI Link
Gorrieri, Roberto; Rensink, Arend Action refinement. (English) Zbl 1035.68068 Bergstra, Jan A. (ed.) et al., Handbook of process algebra. Amsterdam: North-Holland/ Elsevier (ISBN 0-444-82830-3). 1047-1147 (2001). Reviewer: R. Janicki (Hamilton/Ontario) MSC: 68Q85 68-02 PDFBibTeX XMLCite \textit{R. Gorrieri} and \textit{A. Rensink}, in: Handbook of process algebra. Amsterdam: North-Holland/ Elsevier. 1047--1147 (2001; Zbl 1035.68068)
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend Comparing syntactic and semantic action refinement. (English) Zbl 0853.68129 Inf. Comput. 125, No. 2, 118-143 (1996). MSC: 68Q55 PDFBibTeX XMLCite \textit{U. Goltz} et al., Inf. Comput. 125, No. 2, 118--143 (1996; Zbl 0853.68129) Full Text: DOI Link
Goltz, Ursula; Gorrieri, Roberto; Rensink, Arend On syntactic and semantic action refinement. (English) Zbl 0942.68633 Hagiya, Masami (ed.) et al., Theoretical aspects of computer software. 2nd international Symposium TACS ’94, Sendai, Japan, April 19-22, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 789, 385-404 (1994). MSC: 68Q85 PDFBibTeX XMLCite \textit{U. Goltz} et al., Lect. Notes Comput. Sci. 789, 385--404 (1994; Zbl 0942.68633)