Preface—Morgan: a suitable case for treatment

Select |




Print


Höfner, Peter; van Glabbeek, Robert; Hayes, Ian

Höfner, Peter; van Glabbeek, Robert; Hayes, Ian


2012-07-09


Journal Article


Formal Aspects of Computing


24


4-6


417-422


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.


Carroll Morgan, Laws of Programming, Refinement Calculus, Refinement of Ignorance, Herman's Ring, Security, Probability and Nondeterminism.


https://doi.org/10.1007/s00165-012-0257-0


http://www.cse.unsw.edu.au/~rvg/pub/morgan.pdf


nicta:6107


Höfner, Peter; van Glabbeek, Robert; Hayes, Ian. Preface—Morgan: a suitable case for treatment. Formal Aspects of Computing. 2012-07-09; 24(4-6):417-422. https://doi.org/10.1007/s00165-012-0257-0



Loading citation data...

Citation counts
(Requires subscription to view)