Skip to main content

TS

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{Hfner_GH_12,
    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}
  }

Download