Alechina, Natasha; Dastani, Mehdi; Logan, Brian; Meyer, John-Jules Ch. Reasoning about plan revision in BDI agent programs. (English) Zbl 1269.68045 Theor. Comput. Sci. 412, No. 44, 6115-6134 (2011). MSC: 68N19 68N17 68T42 68N30 PDFBibTeX XMLCite \textit{N. Alechina} et al., Theor. Comput. Sci. 412, No. 44, 6115--6134 (2011; Zbl 1269.68045) Full Text: DOI
van Riemsdijk, M. Birna; Meyer, John-Jules Ch.; de Boer, Frank S. Semantics of plan revision in intelligent agents. (English) Zbl 1086.68084 Theor. Comput. Sci. 351, No. 2, 240-257 (2006). MSC: 68Q55 68N15 PDFBibTeX XMLCite \textit{M. B. van Riemsdijk} et al., Theor. Comput. Sci. 351, No. 2, 240--257 (2006; Zbl 1086.68084) Full Text: DOI Link
de Boer, Frank S.; van Eijk, Rogier M.; van der Hoek, Wiebe; Meyer, John-Jules Ch. A fully abstract model for the exchange of information in multi-agent systems. (English) Zbl 1038.68019 Theor. Comput. Sci. 290, No. 3, 1753-1773 (2003). MSC: 68N15 68Q55 PDFBibTeX XMLCite \textit{F. S. de Boer} et al., Theor. Comput. Sci. 290, No. 3, 1753--1773 (2003; Zbl 1038.68019) Full Text: DOI
Spruit, P.; Wieringa, R.; Meyer, J.-J. Regular database update logics. (English) Zbl 0974.68046 Theor. Comput. Sci. 254, No. 1-2, 591-661 (2001). MSC: 68P15 PDFBibTeX XMLCite \textit{P. Spruit} et al., Theor. Comput. Sci. 254, No. 1--2, 591--661 (2001; Zbl 0974.68046) Full Text: DOI
Meyer, J.-J. Ch.; de Vink, E. P. Applications of compactness in the Smyth powerdomain of streams. (English) Zbl 0652.68027 Theor. Comput. Sci. 57, No. 2-3, 251-282 (1988). Reviewer: W.Bartol MSC: 68Q99 68Q60 54D30 PDFBibTeX XMLCite \textit{J. J. Ch. Meyer} and \textit{E. P. de Vink}, Theor. Comput. Sci. 57, No. 2--3, 251--282 (1988; Zbl 0652.68027) Full Text: DOI
de Bakker, J. W.; Meyer, J.-J. Ch.; Olderog, E.-R. Infinite streams and finite observations in the semantics of uniform concurrency. (English) Zbl 0623.68016 Theor. Comput. Sci. 49, 87-112 (1987). MSC: 68Q60 68N25 PDFBibTeX XMLCite \textit{J. W. de Bakker} et al., Theor. Comput. Sci. 49, 87--112 (1987; Zbl 0623.68016) Full Text: DOI Link
Meyer, J.-J. Ch. Merging regular processes by means of fixed-point theory. (English) Zbl 0602.68025 Theor. Comput. Sci. 45, 193-260 (1986). MSC: 68N25 68N01 PDFBibTeX XMLCite \textit{J. J. Ch. Meyer}, Theor. Comput. Sci. 45, 193--260 (1986; Zbl 0602.68025) Full Text: DOI
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I. Corrigendum: On infinite computations in denotational semantics. (English) Zbl 0533.68020 Theor. Comput. Sci. 30, 229-230 (1984). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. W. de Bakker} et al., Theor. Comput. Sci. 30, 229--230 (1984; Zbl 0533.68020) Full Text: DOI
de Bakker, J. W.; Bergstra, J. A.; Klop, J. W.; Meyer, J.-J. Ch. Linear time and branching time semantics for recursion with merge. (English) Zbl 0985.68517 Theor. Comput. Sci. 34, No. 1-2, 135-156 (1984). MSC: 68Q55 PDFBibTeX XMLCite \textit{J. W. de Bakker} et al., Theor. Comput. Sci. 34, 135--156 (1984; Zbl 0985.68517) Full Text: DOI Link
de Bakker, J. W.; Meyer, J.-J. Ch.; Zucker, J. I. On infinite computations in denotational semantics. (English) Zbl 0514.68018 Theor. Comput. Sci. 26, 53-82 (1983). MSC: 68Q60 PDFBibTeX XMLCite \textit{J. W. de Bakker} et al., Theor. Comput. Sci. 26, 53--82 (1983; Zbl 0514.68018) Full Text: DOI
Bergstra, J. A.; Meyer, J.-J. Ch. On the elimination of iteration quantifiers in a fragment of algorithmic logic. (English) Zbl 0507.03008 Theor. Comput. Sci. 21, 269-279 (1982). MSC: 03B45 03B60 68Q65 PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. J. Ch. Meyer}, Theor. Comput. Sci. 21, 269--279 (1982; Zbl 0507.03008) Full Text: DOI Link