Jos C.M. Baeten (baeten)

Contributions to Philosophie.ch

Bibliography

Baeten, Jos C. M., Bergstra, Jan A. and Bol, R. N. 1994. “A Real Time Process Logic.” in Temporal Logic, First International Conference ICTL’94, Bonn, Germany, July 11–14, 1994, edited by Dov M. Gabbay and Hans Jürgen Ohlbach, pp. 30–47. Lecture Notes in Computer Science n. 827. Berlin: Springer.
Baeten, Jos C. M. and Sangiori, Davide. 2014. “Concurrency Theory: a Historical Perspective on Coinduction and Process Calculi.” in Handbook of the History of Logic. Volume 9: Computational Logic, edited by Jörg H. Siekmann and Dov M. Gabbay, pp. 399–442. Amsterdam: Elsevier Science Publishers B.V.
Baeten, Jos C. M. and Verhoef, C. 1995. “Concrete Process Algebra.” in Handbook of Logic in Computer Science. Volume 4. Semantic Modelling, edited by Samson Abramsky, Dov M. Gabbay, and Thomas S. E. Maibaum, pp. 149–268. Oxford: Oxford University Press.