Trustworthy Systems

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

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