A Collection of Papers and Memoirs Celebrating the Contribution of Rod Burstall to Advances in Computer Science
Formal Aspects of Computing
are dedicated to Professor Rod Burstall, and, as a collection of papers, memoirs and incidental pieces, form a Festschrift for Rod. The contributions are made by some of the many who know Rod and have been in uenced by him. The research papers included here represent some of the areas in which Rod has been active, and the editors thank their colleagues for agreeing to contribute to this Festschrift.
Unable to display preview. Download preview PDF.