default search action

combined dblp search
author search
venue search
publication search

ask others

6th Refine 1994: London, UK

Name: dblp XML data dump
Creator: Schloss Dagstuhl - Leibniz Center for Informatics
Published: 1993
License: https://creativecommons.org/publicdomain/zero/1.0/
Keywords: dblp, XML, computer science, scholarly publications, metadata

> Home > Conferences and Workshops > Refine

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/refine/1994
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/1994
David Till:
6th Refinement Workshop, Proceedings of the 6th Refinement Workshop, organised by BCS-FACS, London, UK, 5-7 January 1994. Workshops in Computing, Springer 1994, ISBN 978-3-540-19886-4
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Garlan94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Garlan94
David Garlan:
Using Refinement to Understand Architectural Connection. 3-13
- view
  authority control:
- export record
  dblp key:
  - conf/refine/PetersohnRH094
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/PetersohnRH094
Carsta Petersohn, Willem-Paul de Roever, Cornelis Huizing, Jan Peleska:
Formal Semantics for Ward & Mellor's Transformation Schemas. 14-41
- view
  authority control:
- export record
  dblp key:
  - conf/refine/LanoH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/LanoH94
Kevin Lano, Howard P. Haughton:
Improving the Process of System Specification and Refinement in B. 45-68
- view
  authority control:
- export record
  dblp key:
  - conf/refine/HaughtonL94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/HaughtonL94
Howard P. Haughton, Kevin Lano:
Testing and Safety Analysis of AM (Abstract Machine) Specifications. 69-79
- view
  authority control:
- export record
  dblp key:
  - conf/refine/BieberB94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/BieberB94
Pierre Bieber, Nora Boulahia-Cuppens:
Formal Development of Authentication Protocols. 80-102
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Groves94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Groves94
Lindsay Groves:
Deriving language recognition algorithms: A case study in combining program specialisation and data refinement. 103-120
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Wright94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Wright94
Joakim von Wright:
Program Refinement by Theorem Prover. 121-150
- view
  authority control:
- export record
  dblp key:
  - conf/refine/AinsworthW94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/AinsworthW94
Mike Ainsworth, Peter J. L. Wallis:
Co-Refinement. 151-166
- view
  authority control:
- export record
  dblp key:
  - conf/refine/NicksonG94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/NicksonG94
Raymond G. Nickson, Lindsay J. Groves:
Metavariables and Conditional Refinements in the Refinement Calculus. 167-187
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Norvell94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Norvell94
Theodore S. Norvell:
Machine Code Programs are Predicates Too. 188-204
- view
  authority control:
- export record
  dblp key:
  - conf/refine/XuH94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/XuH94
Qiwen Xu, Jifeng He:
Laws of Parallel Programming with Shared Variables. 205-216
- view
  authority control:
- export record
  dblp key:
  - conf/refine/LedruC94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/LedruC94
Yves Ledru, Pierre Collette:
Environment-based Development of Reactive Systems. 217-235
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Lano94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Lano94
Kevin Lano:
Refinement in Object-Oriented Specification Languages. 236-259
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Bicarregui94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Bicarregui94
Juan Bicarregui:
Operation Semantics with Read and Write Frames. 260-278
- view
  authority control:
- export record
  dblp key:
  - conf/refine/Fidge94
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/refine/Fidge94
Colin J. Fidge:
Proof Obligations for Real-Time Refinement. 279-305

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.