Abadi, Martín; Planul, Jérémy; Plotkin, Gordon D. Layout randomization and nondeterminism. (English) Zbl 1407.68270 van Breugel, Franck (ed.) et al., Horizons of the mind. A tribute to Prakash Panangaden. Essays dedicated to Prakash Panangaden on the occasion of his 60th birthday. Berlin: Springer. Lect. Notes Comput. Sci. 8464, 1-39 (2014). MSC: 68Q55 68N15 68Q10 PDFBibTeX XMLCite \textit{M. Abadi} et al., Lect. Notes Comput. Sci. 8464, 1--39 (2014; Zbl 1407.68270) Full Text: DOI Link
Abadi, Martín; Planul, Jérémy; Plotkin, Gordon Layout randomization and nondeterminism. (English) Zbl 1334.68045 Kozen, Dexter (ed.) et al., Proceedings of the 29th conference on the mathematical foundations of programming semantics (MFPS XXIX), New Orleans, LA, USA, June 2013. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 298, 29-50 (2013). MSC: 68N30 68Q55 PDFBibTeX XMLCite \textit{M. Abadi} et al., Electron. Notes Theor. Comput. Sci. 298, 29--50 (2013; Zbl 1334.68045) Full Text: DOI
Abadi, Martín; Plotkin, Gordon D. A logical view of composition. (English) Zbl 0778.68061 Theor. Comput. Sci. 114, No. 1, 3-30 (1993). Reviewer: Martín Abadi MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Abadi} and \textit{G. D. Plotkin}, Theor. Comput. Sci. 114, No. 1, 3--30 (1993; Zbl 0778.68061) Full Text: DOI
Abadi, Martín; Lamport, Leslie The existence of refinement mappings. (English) Zbl 0728.68083 Theor. Comput. Sci. 82, No. 2, 253-284 (1991). Reviewer: M.Křetínský (Brno) MSC: 68Q60 PDFBibTeX XMLCite \textit{M. Abadi} and \textit{L. Lamport}, Theor. Comput. Sci. 82, No. 2, 253--284 (1991; Zbl 0728.68083) Full Text: DOI
Abadi, Martín; Manna, Zohar Temporal logic programming. (English) Zbl 0691.03015 J. Symb. Comput. 8, No. 3, 277-295 (1989). Reviewer: C.Masalagiu MSC: 03B70 03B35 68N01 68T15 PDFBibTeX XMLCite \textit{M. Abadi} and \textit{Z. Manna}, J. Symb. Comput. 8, No. 3, 277--295 (1989; Zbl 0691.03015) Full Text: DOI
Abadi, Martín The power of temporal proofs. (English) Zbl 0669.03010 Theor. Comput. Sci. 65, No. 1, 35-83 (1989). Reviewer: M.K.Valiev MSC: 03B45 PDFBibTeX XMLCite \textit{M. Abadi}, Theor. Comput. Sci. 65, No. 1, 35--83 (1989; Zbl 0669.03010) Full Text: DOI