America, Pierre; Rutten, Jan A layered semantics for a parallel object-oriented language. (English) Zbl 0752.68052 Formal Asp. Comput. 4, No. 4, 376-408 (1992). Reviewer: J.Rutten (Amsterdam) MSC: 68Q55 68N01 68N15 PDFBibTeX XMLCite \textit{P. America} and \textit{J. Rutten}, Formal Asp. Comput. 4, No. 4, 376--408 (1992; Zbl 0752.68052) Full Text: DOI
America, Pierre; Rutten, Jan Solving reflexive domain equations in a category of complete metric spaces. (English) Zbl 0717.18002 J. Comput. Syst. Sci. 39, No. 3, 343-375 (1989). Reviewer: V.Kurkova-Pohlova MSC: 18B30 68Q55 18A22 54B30 18A30 PDFBibTeX XMLCite \textit{P. America} and \textit{J. Rutten}, J. Comput. Syst. Sci. 39, No. 3, 343--375 (1989; Zbl 0717.18002) Full Text: DOI Link