Trustworthy Systems

Preface—Morgan: A suitable case for treatment

Authors

Peter Hoefner, Rob van Glabbeek and Ian Hayes

NICTA

UNSW

University of Queensland

Abstract

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

  @article{Hoefner_GH_12,
    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         = {https://trustworthy.systems/publications/nicta_full_text/6107.pdf},
    title            = {Preface—{Morgan}: a suitable case for treatment},
    volume           = {24},
    year             = {2012}
  }

Download