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
Fassbender, Heinz; Vogler, Heiko An implementation of syntax directed functional programming on nested- stack machines. (English) Zbl 0748.68008 Formal Asp. Comput. 4, No. 4, 341-375 (1992). MSC: 68N15 68Q45 68Q05 PDFBibTeX XMLCite \textit{H. Fassbender} and \textit{H. Vogler}, Formal Asp. Comput. 4, No. 4, 341--375 (1992; Zbl 0748.68008) Full Text: DOI
Owe, Olaf Axiomatic treatment of processes with shared variables revisited. (English) Zbl 0748.68040 Formal Asp. Comput. 4, No. 4, 323-340 (1992). MSC: 68Q60 68Q10 PDFBibTeX XMLCite \textit{O. Owe}, Formal Asp. Comput. 4, No. 4, 323--340 (1992; Zbl 0748.68040) Full Text: DOI