Skip to main content


Preface—Morgan: A suitable case for treatment


Peter Hoefner, Rob van Glabbeek and Ian Hayes



University of Queensland


This triple issue of Formal Aspects of Computing constitutes a Festschrift dedicated to Professor Charles Carroll Morgan, on the occasion of his sixtieth birthday. The Festschrift consists of an invited paper and 23 scientific research papers, all related to Carroll's own research interests.

BibTeX Entry

    doi              = {10.1007/s00165-012-0257-0},
    journal          = {Formal Aspects of Computing},
    author           = {Höfner, Peter and van Glabbeek, Robert and Hayes, Ian},
    number           = {4-6},
    month            = jul,
    volume           = {24},
    year             = {2012},
    keywords         = {carroll morgan, laws of programming, refinement calculus, refinement of ignorance, herman's ring,
                        security, probability and nondeterminism.},
    title            = {Preface—{Morgan}: a suitable case for treatment},
    pages            = {417-422}


Served by Apache on Linux on seL4.
Served by Apache on Linux on seL4.