Krishnan, Padmanabhan An asynchronous calculus based on the absence of actions. (English) Zbl 0960.68116 J. UCS 3, No. 12, 1415-1428 (1997). MSC: 68Q85 PDFBibTeX XMLCite \textit{P. Krishnan}, J. UCS 3, No. 12, 1415--1428 (1997; Zbl 0960.68116) Full Text: Link
Banach, R. MONSTR V – transitive coercing semantics and the Church-Rosser property. (English) Zbl 0960.68083 J. UCS 3, No. 12, 1283-1336 (1997). MSC: 68Q42 68Q55 PDFBibTeX XMLCite \textit{R. Banach}, J. UCS 3, No. 12, 1283--1336 (1997; Zbl 0960.68083) Full Text: Link
Bella, Giampaolo; Riccobene, Elvinia Formal analysis of the Kerberos authentication system. (English) Zbl 0960.68010 J. UCS 3, No. 12, 1337-1381 (1997). MSC: 68M12 PDFBibTeX XMLCite \textit{G. Bella} and \textit{E. Riccobene}, J. UCS 3, No. 12, 1337--1381 (1997; Zbl 0960.68010) Full Text: Link
Glässer, Uwe; Karges, Rene Abstract state machine semantics of SDL. (English) Zbl 0960.68102 J. UCS 3, No. 12, 1382-1414 (1997). MSC: 68Q55 68Q05 PDFBibTeX XMLCite \textit{U. Glässer} and \textit{R. Karges}, J. UCS 3, No. 12, 1382--1414 (1997; Zbl 0960.68102) Full Text: Link