Article PDF
Avoid common mistakes on your manuscript.
References
Abrial J-R, Schuman SA, Meyer B (1980) A specification language. In: On the construction of programs. Cambridge University Press, Cambridge, pp 343–410
Back R-J (1978) On the correctness of refinement steps in program development. PhD thesis. Report A-1978-4, Department of Computer Science, University of Helsinki
Bird R, de Moor O (1996) The algebra of programming. Prentice-Hall, Englewood Cliffs
Broy M (ed) (1993) Program design calculi. In: NATO ASI series, series F: computer and system sciences, vol 118. Springer, Berlin
Back R-J, von Wright J (1998) Refinement calculus: a systematic introduction. In: Graduate texts in computer science. Springer, Berlin
Deng Y, van Glabbeek RJ, Hennessy M, Morgan CC, Zhang C (2007) Remarks on testing probabilistic processes. Electron Notes Theor Comput Sci 172: 359–397
Deng Y, van Glabbeek RJ, Hennessy M, Morgan CC (2008) Characterising testing preorders for finite probabilistic processes. Logical Methods Comput Sci 4(4)
Deng Y, van Glabbeek RJ, Morgan CC, Zhang C (2007) Scalar outcomes suffice for finitary probabilistic testing. In: De Nicola R (eds) European symposium on programming languages and systems (ESOP’07). Lecture notes in computer science, vol 4421. Springer, Berlin, pp 363–378
Hayes I, editor (1987) Specification case studies. Prentice Hall, Englewood Cliffs (2nd edition published in 1992)
Hoare CAR, Hayes IJ, He J, Morgan CC, Roscoe A, Sanders JW, Sørensen IH, Spivey JM, Sufrin BA (1987) Laws of programming. Commun ACM 30(8): 672–686
Honsberger R (2003) Mathematical diamonds. Dolcani mathematical expositions, vol 26. Mathematical Society of America, Providence
ISO (2002) Information technology—Z formal specification notation—syntax, type system and semantics. Technical Report ISO/IEC 13568, International Organization for Standardization, 2002 (International Standard)
McIver AK, Gonzalia C, Cohen E, Morgan CC (2008) Using probabilistic Kleene algebra pKA for protocol verification. J Logic Algebr Program 76(1): 90–111
McIver AK, Morgan CC (2002) Games, probability, and the quantitative μ-calculus qMμ. In: Logic for programming, artificial intelligence, and reasoning, LPAR ’02. Springer, Berlin, pp 292–310
McIver AK, Morgan CC (2005) Abstraction, refinement and proof for probabilistic systems (Monographs in computer science). Springer, Berlin
McIver AK, Morgan CC (2005) An elementary proof that Herman’s ring is Θ(N 2). Inf Process Lett 94(2): 79–84
Morgan CC, McIver AK, Seidel K, Sanders JW (1996) Refinement-oriented probability for CSP. Formal Asp Comput 8(6): 617–647
Morgan: a suitable case for treatment. Film Poster (1966)
Morgan CC (1978) Parallel programming without synchronisation. PhD thesis, University of Sydney
Morgan CC (1985) Specification of a simplified network service in Z (problem 2). In: Denvir BT, Harwood WT, Jackson MI, Wray MJ (eds) The analysis of concurrent systems. Lecture notes in computer science, vol 207. Springer, Berlin, pp 318–344
Morris JM (1987) A theoretical basis for stepwise refinement and the programming calculus. Sci Comput Programm 9(3): 287–306
Morgan CC (1988) The specification statement. ACM Trans Programm Lang Syst 10(3): 403–419
Morgan CC (1990) Of wp and CSP. In: Gries D (eds) Beauty is our business: a birthday salute to Edsger W. Dijkstra. Springer, Berlin, pp 319–326
Morgan CC (1990) Programming from specifications. Prentice-Hall, Englewood Cliffs
Morgan CC (2006) The shadow knows: refinement of ignorance in sequential programs. In: Mathematics of program construction, MPC’06. Springer, Berlin, pp 359–378
Morgan CC (2009) The shadow knows: refinement and security in sequential programs. Sci Comput Programm 74(8): 629–653
Morgan CC, Sufrin B (1984) Specification of the UNIX filing system. IEEE Trans Softw Eng 10(2): 128–142 (republished as Chapt. 4 in [Hay87])
Morgan CC, Vickers T (eds) (1992) On the refinement calculus. Springer, Berlin
Woodcock J, Morgan CC (1990) Refinement of state-based concurrent systems. In: Proceedings of the third international symposium of VDM Europe on VDM and Z—formal methods in software development, VDM’90. Springer, Berlin, pp 340–351
Author information
Authors and Affiliations
Corresponding author
Additional information
The sub-title is referring to Charles Carroll Morgan (born 1952), not to the movie shown first in 1966.
Rights and permissions
About this article
Cite this article
Höfner, P. Preface. Form Asp Comp 24, 417–422 (2012). https://doi.org/10.1007/s00165-012-0257-0
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00165-012-0257-0