Dam, Mads Proof systems for \(\pi\)-calculus logics. (English) Zbl 1038.03034 de Queiroz, Ruy J. G. B. (ed.), Logic for concurrency and synchronisation. Dordrecht: Kluwer Academic Publishers (ISBN 1-4020-1270-5/hbk). Trends Log. Stud. Log. Libr. 18, 145-212 (2003). MSC: 03B70 68Q85 03F20 03B44 03B45 PDFBibTeX XMLCite \textit{M. Dam}, Trends Log. Stud. Log. Libr. 18, 145--212 (2003; Zbl 1038.03034)
Dam, Mads Model checking mobile processes. (English) Zbl 0864.68036 Inf. Comput. 129, No. 1, 35-51 (1996). MSC: 68Q05 PDFBibTeX XMLCite \textit{M. Dam}, Inf. Comput. 129, No. 1, 35--51 (1996; Zbl 0864.68036) Full Text: DOI Link
Dam, Mads CTL\(^*\) and ECTL\(^*\) as fragments of the modal \(\mu\)-calculus. (English) Zbl 0798.03018 Theor. Comput. Sci. 126, No. 1, 77-96 (1994). MSC: 03B45 68Q05 PDFBibTeX XMLCite \textit{M. Dam}, Theor. Comput. Sci. 126, No. 1, 77--96 (1994; Zbl 0798.03018) Full Text: DOI