Reynolds, Mark Axiomatising first-order temporal logic: Until and since over linear time. (English) Zbl 0864.03015 Stud. Log. 57, No. 2-3, 279-302 (1996). Reviewer: A.Tzouvaras (Thessaloniki) MSC: 03B45 PDFBibTeX XMLCite \textit{M. Reynolds}, Stud. Log. 57, No. 2--3, 279--302 (1996; Zbl 0864.03015) Full Text: DOI
Sangiorgi, Davide A theory of bisimulation for the \(\pi\)-calculus. (English) Zbl 0835.68072 Acta Inf. 33, No. 1, 69-97 (1996). Reviewer: D.Sangiorgi (Edinburgh) MSC: 68Q55 68Q10 03B70 68Q60 68Q85 PDFBibTeX XMLCite \textit{D. Sangiorgi}, Acta Inf. 33, No. 1, 69--97 (1996; Zbl 0835.68072) Full Text: DOI