Program Algebra for Turing-Machine Programs, pages 113-139

Authors: J.A. Bergstra, C.A. Middelburg

Abstract | References | BibTeX | Full Text (PDF)

Generalising KAT to Verify Weighted Computations, pages 141-184

Authors: L. Gomes, A. Madeira, L.S. Barbosa

Abstract | References | BibTeX | Full Text (PDF)

Identifying and Querying Regularly Visited Places, pages 185-201

Authors: A.G. Rudi

Abstract | References | BibTeX | Full Text (PDF)