Search dblp for Publications

export results for "toc:db/conf/refine/refine1992.bht:"

 download as .bib file

@inproceedings{DBLP:conf/refine/CauKR92,
  author       = {Antonio Cau and
                  Ruurd Kuiper and
                  Willem{-}Paul de Roever},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Formalising Dijkstra's Development Strategy within Stark's Formalism},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {4--42},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_3},
  doi          = {10.1007/978-1-4471-3550-0\_3},
  timestamp    = {Tue, 21 Nov 2023 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refine/CauKR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Clement92,
  author       = {Tim Clement},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Using Metavariables in Natural Deduction Proofs},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {255--271},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_13},
  doi          = {10.1007/978-1-4471-3550-0\_13},
  timestamp    = {Fri, 25 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refine/Clement92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Elvang-Goransson92,
  author       = {Morten Elvang{-}G{\o}ransson},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Classification of Refinements in {VDM}},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {172--180},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_9},
  doi          = {10.1007/978-1-4471-3550-0\_9},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Elvang-Goransson92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Gravell92,
  author       = {Andrew M. Gravell},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Constructive Refinement of First Order Specifications},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {181--210},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_10},
  doi          = {10.1007/978-1-4471-3550-0\_10},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Gravell92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/GrovesNU92,
  author       = {Lindsay Groves and
                  Raymond G. Nickson and
                  Mark Utting},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A Tactic Driven Refinement Tool},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {272--297},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_14},
  doi          = {10.1007/978-1-4471-3550-0\_14},
  timestamp    = {Fri, 27 Mar 2020 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refine/GrovesNU92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Grundy92,
  author       = {Jim Grundy},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A Window Inference Tool for Refinement},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {230--254},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_12},
  doi          = {10.1007/978-1-4471-3550-0\_12},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Grundy92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Jones92,
  author       = {Roger Bishop Jones},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Methods and Tools for the Verification of Critical Properties},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {88--118},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_6},
  doi          = {10.1007/978-1-4471-3550-0\_6},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Jones92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Milner92,
  author       = {Robin Milner},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Concurrent Processes as Objects},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {3},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_2},
  doi          = {10.1007/978-1-4471-3550-0\_2},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Milner92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Naftalin92,
  author       = {Maurice Naftalin},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A Model of the Refinement Process},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {211--229},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_11},
  doi          = {10.1007/978-1-4471-3550-0\_11},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Naftalin92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/OFerrall92,
  author       = {Patrick O'Ferrall},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Opening Address},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {1--2},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_1},
  doi          = {10.1007/978-1-4471-3550-0\_1},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/OFerrall92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/OHalloran92,
  author       = {Colin O'Halloran},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Refinement and Confidentiality},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {119--139},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_7},
  doi          = {10.1007/978-1-4471-3550-0\_7},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/OHalloran92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Oliveira92,
  author       = {Jos{\'{e}} N. Oliveira},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Software Reification using the {SETS} Calculus},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {140--171},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_8},
  doi          = {10.1007/978-1-4471-3550-0\_8},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Oliveira92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Sennett92,
  author       = {C. T. Sennett},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Demonstrating the Compliance of Ada Programs with {Z} Specifications},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {70--87},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_5},
  doi          = {10.1007/978-1-4471-3550-0\_5},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Sennett92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Stolen92,
  author       = {Ketil St{\o}len},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Proving Total Correctness with Respect to a Fair (Shared-State) Parallel
                  Language},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {320--341},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_17},
  doi          = {10.1007/978-1-4471-3550-0\_17},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Stolen92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Ward92,
  author       = {Martin P. Ward},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A Recursion Removal Theorem},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {43--69},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_4},
  doi          = {10.1007/978-1-4471-3550-0\_4},
  timestamp    = {Tue, 17 Sep 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Ward92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Wing92,
  author       = {Jeannette M. Wing},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Revisiting Abstraction Functions For Reasoning About Concurrency},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {298--300},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_15},
  doi          = {10.1007/978-1-4471-3550-0\_15},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Wing92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/Woodcock92,
  author       = {J. C. P. Woodcock},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {Implementing Promoted Operations in {Z}},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {367--378},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_19},
  doi          = {10.1007/978-1-4471-3550-0\_19},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/Woodcock92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/XuH92,
  author       = {Qiwen Xu and
                  Jifeng He},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A case study in formally developing state-based parallel programs
                  - the Dutch National Torus},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {301--319},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_16},
  doi          = {10.1007/978-1-4471-3550-0\_16},
  timestamp    = {Mon, 21 Mar 2022 00:00:00 +0100},
  biburl       = {https://dblp.org/rec/conf/refine/XuH92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@inproceedings{DBLP:conf/refine/ZwiersCR92,
  author       = {Job Zwiers and
                  J. Coenen and
                  Willem P. de Roever},
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {A Note on Compositional Refinement},
  booktitle    = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  pages        = {342--366},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0\_18},
  doi          = {10.1007/978-1-4471-3550-0\_18},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/ZwiersCR92.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

@proceedings{DBLP:conf/refine/1992,
  editor       = {Cliff B. Jones and
                  Roger C. Shaw and
                  B. Tim Denvir},
  title        = {5th Refinement Workshop, Proceedings of the 5th Refinement Workshop,
                  organised by BCS-FACS, London, 8-10 January 1992},
  series       = {Workshops in Computing},
  publisher    = {Springer London},
  year         = {1992},
  url          = {https://doi.org/10.1007/978-1-4471-3550-0},
  doi          = {10.1007/978-1-4471-3550-0},
  isbn         = {978-3-540-19752-2},
  timestamp    = {Tue, 20 Aug 2019 01:00:00 +0200},
  biburl       = {https://dblp.org/rec/conf/refine/1992.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}

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.