Hosted articles 2001

• VDM♣ meets LCF: Domain-Theoretic and Topological Aspects of VDM♣ (2001-07-01)
• 5th Irish Workshop on Formal Methods - Index (2001-07-01)
• Recasting Hoare and He’s Unifying Theory of Programs in the Context of General Correctness (2001-07-01)
• Multiprogram Design in the theory of Owicki and Gries (2001-07-01)
• A Concurrent Language for Refinement (2001-07-01)
• Towards a Semantics For Multidimensional Array Assignment in Fortran 95 (2001-07-01)
• A Denotational Semantics for the π-Calculus (2001-07-01)
• Observation and Abstract Behaviour in Specification and Implementation of State-based Systems (2001-07-01)
• Review: Nathalie Sigot, Bentham et l’économie: Une histoire d’utilité. Paris: Economica, 2001, 266p. (including appendices, bibliography and index.) (2001-01-01)
• Bentham’s International Manuscripts Versus the Published ‘Works’ (2001-01-01)