default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCID5th Refine 1992: London, UK
- Cliff B. Jones, Roger C. Shaw, B. Tim Denvir:
5th Refinement Workshop, Proceedings of the 5th Refinement Workshop, organised by BCS-FACS, London, 8-10 January 1992. Workshops in Computing, Springer London 1992, ISBN 978-3-540-19752-2 - Patrick O'Ferrall:
Opening Address. 1-2 - Robin Milner:
Concurrent Processes as Objects. 3 - Antonio Cau, Ruurd Kuiper, Willem-Paul de Roever:
Formalising Dijkstra's Development Strategy within Stark's Formalism. 4-42 - Martin P. Ward
:
A Recursion Removal Theorem. 43-69 - C. T. Sennett:
Demonstrating the Compliance of Ada Programs with Z Specifications. 70-87 - Roger Bishop Jones:
Methods and Tools for the Verification of Critical Properties. 88-118 - Colin O'Halloran:
Refinement and Confidentiality. 119-139 - José N. Oliveira:
Software Reification using the SETS Calculus. 140-171 - Morten Elvang-Gøransson:
Classification of Refinements in VDM. 172-180 - Andrew M. Gravell:
Constructive Refinement of First Order Specifications. 181-210 - Maurice Naftalin:
A Model of the Refinement Process. 211-229 - Jim Grundy:
A Window Inference Tool for Refinement. 230-254 - Tim Clement:
Using Metavariables in Natural Deduction Proofs. 255-271 - Lindsay Groves, Raymond G. Nickson, Mark Utting:
A Tactic Driven Refinement Tool. 272-297 - Jeannette M. Wing:
Revisiting Abstraction Functions For Reasoning About Concurrency. 298-300 - Qiwen Xu, Jifeng He:
A case study in formally developing state-based parallel programs - the Dutch National Torus. 301-319 - Ketil Stølen:
Proving Total Correctness with Respect to a Fair (Shared-State) Parallel Language. 320-341 - Job Zwiers, J. Coenen, Willem P. de Roever:
A Note on Compositional Refinement. 342-366 - J. C. P. Woodcock:
Implementing Promoted Operations in Z. 367-378
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2026-09-02 23:15 CEST by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated, funded, and maintained by:
Schloss Dagstuhl - Leibniz Center for Informatics is a member of the Leibniz Association and is funded by the federal government of Germany and the states of Germany, especially Saarland and Rhineland‑Palatinate.
