Miguel, Carlos; Fernández, Angel; Vidaller, Leon LOTOS extended with probabilistic behaviours. (English) Zbl 0774.68038 Formal Asp. Comput. 5, No. 3, 253-281 (1993). MSC: 68Q10 PDFBibTeX XMLCite \textit{C. Miguel} et al., Formal Asp. Comput. 5, No. 3, 253--281 (1993; Zbl 0774.68038) Full Text: DOI
Quemada, Juan; de Frutos, David; Azcorra, Arturo TIC: a tImed calculus. (English) Zbl 0797.68059 Formal Asp. Comput. 5, No. 3, 224-252 (1993). Reviewer: M.Křetínský (Brno) MSC: 68Q10 68Q55 68Q85 PDFBibTeX XMLCite \textit{J. Quemada} et al., Formal Asp. Comput. 5, No. 3, 224--252 (1993; Zbl 0797.68059) Full Text: DOI
Owe, Olaf Partial logics reconsidered: A conservative approach. (English) Zbl 0785.03013 Formal Asp. Comput. 5, No. 3, 208-223 (1993). MSC: 03B60 03B50 03B70 PDFBibTeX XMLCite \textit{O. Owe}, Formal Asp. Comput. 5, No. 3, 208--223 (1993; Zbl 0785.03013) Full Text: DOI
Hense, Andreas V. Denotational semantics of an object-oriented programming language with explicit wrappers. (English) Zbl 0774.68078 Formal Asp. Comput. 5, No. 3, 181-207 (1993). MSC: 68Q55 PDFBibTeX XMLCite \textit{A. V. Hense}, Formal Asp. Comput. 5, No. 3, 181--207 (1993; Zbl 0774.68078) Full Text: DOI