Abramsky, S. (ed.); Gabbay, D. M. (ed.); Maibaum, T. S. E. (ed.) Handbook of logic in computer science. Vol. 3: Semantic structures. (English) Zbl 0829.68111 Oxford: Clarendon Press. xiii, 490 p. (1994). MSC: 68-00 68Q55 PDFBibTeX XMLCite \textit{S. Abramsky} (ed.) et al., Handbook of logic in computer science. Vol. 3: Semantic structures. Oxford: Clarendon Press (1994; Zbl 0829.68111)
Bonsangue, Marcello M.; Kok, Joost N. The weakest precondition calculus: Recursion and duality. (English) Zbl 0816.68081 Formal Asp. Comput. 6, No. 6A, 788-800 (1994). MSC: 68Q55 PDFBibTeX XMLCite \textit{M. M. Bonsangue} and \textit{J. N. Kok}, Formal Asp. Comput. 6, No. 6A, 788--800 (1994; Zbl 0816.68081) Full Text: DOI
Gisin, Vladimir B. Information systems in categories of valued relations. (English) Zbl 0815.18002 Mathware Soft Comput. 1, No. 2, 197-208 (1994). Reviewer: Hirokazu Nishimura (Ibaraki) MSC: 18B35 68Q55 18C10 18B10 94D05 PDFBibTeX XMLCite \textit{V. B. Gisin}, Mathware Soft Comput. 1, No. 2, 197--208 (1994; Zbl 0815.18002) Full Text: EuDML
Hennessy, M. Higher-order processes and their models. (English) Zbl 1418.68143 Abiteboul, Serge (ed.) et al., Automata, languages and programming. 21st international colloquium, ICALP ’94, Jerusalem, Israel, July 11–14, 1994. Proceedings. Berlin: Springer. Lect. Notes Comput. Sci. 820, 286-303 (1994). MSC: 68Q85 68Q55 PDFBibTeX XMLCite \textit{M. Hennessy}, Lect. Notes Comput. Sci. 820, 286--303 (1994; Zbl 1418.68143) Full Text: DOI
Toetenel, Hans Loose real-time communicating agents. (English) Zbl 0812.68087 Andrews, Derek J. (ed.) et al., Semantics of specification languages (SoSL). Proceedings of the International Workshop, Utrecht, the Netherlands, 25-27 October 1993. Berlin: Springer-Verlag. Workshops in Computing. 135-151 (1994). MSC: 68Q55 68Q60 68N15 PDFBibTeX XMLCite \textit{H. Toetenel}, in: Semantics of specification languages (SoSL). Proceedings of the International Workshop, Utrecht, the Netherlands, 25-27 October 1993. Berlin: Springer. 135--151 (1994; Zbl 0812.68087)
Palmgren, Erik Denotational semantics of constraint logic programming. - A nonstandard approach. (English) Zbl 0829.68081 Mayoh, Brian (ed.) et al., Constraint programming. Proceedings of the NATO Advanced Study Institute, held in Pärnu, Estonia, August 13-24, 1993. Berlin: Springer-Verlag. NATO ASI Ser., Ser. F, Comput. Syst. Sci. 131, 261-288 (1994). Reviewer: N.Zamov (Kazan’) MSC: 68Q55 68N17 PDFBibTeX XMLCite \textit{E. Palmgren}, NATO ASI Ser., Ser. F, Comput. Syst. Sci. 131, 261--288 (1994; Zbl 0829.68081)
Cartwright, Robert; Curien, Pierre-Louis; Felleisen, Matthias Fully abstract semantics for observably sequential languages. (English) Zbl 0806.68072 Inf. Comput. 111, No. 2, 297-401 (1994). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{R. Cartwright} et al., Inf. Comput. 111, No. 2, 297--401 (1994; Zbl 0806.68072) Full Text: DOI
Zhang, Guo-Qiang A representation of SFP. (English) Zbl 0794.68095 Inf. Comput. 110, No. 1, 233-263 (1994). MSC: 68Q55 06B35 03F05 68Q10 PDFBibTeX XMLCite \textit{G.-Q. Zhang}, Inf. Comput. 110, No. 1, 233--263 (1994; Zbl 0794.68095) Full Text: DOI Link
Yamasaki, Susumu A denotational semantics and dataflow construction for logic programs. (English) Zbl 0795.68036 Theor. Comput. Sci. 124, No. 1, 71-91 (1994). MSC: 68N17 68Q55 PDFBibTeX XMLCite \textit{S. Yamasaki}, Theor. Comput. Sci. 124, No. 1, 71--91 (1994; Zbl 0795.68036) Full Text: DOI
Pitts, Andrew M. A co-induction principle for recursively defined domains. (English) Zbl 0795.68129 Theor. Comput. Sci. 124, No. 2, 195-219 (1994). MSC: 68Q55 06B35 PDFBibTeX XMLCite \textit{A. M. Pitts}, Theor. Comput. Sci. 124, No. 2, 195--219 (1994; Zbl 0795.68129) Full Text: DOI