Skip to main content
SpringerLink
Log in

Theory and Formal Methods 1993

Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

  • Conference proceedings
  • © 1993

Overview

Editors:
  1. Geoffrey Burn

    1. Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Simon Gay

    1. Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Mark Ryan

    1. Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

Part of the book series: Workshops in Computing (WORKSHOPS COMP.)

This is a preview of subscription content, log in via an institution to check access.

Access this book

Log in via an institution
eBook USD 39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book USD 54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (25 papers)

  1. Front Matter

    Pages i-viii
    Download chapter PDF

  2. Overview and Introductory Papers

    1. Front Matter

      Pages 1-1
      Download chapter PDF

    2. The Abstract Interpretation of Functional Languages

      • Geoffrey Burn
      Pages 3-14

    3. Deriving Category Theory from Type Theory

      • Roy L. Crole
      Pages 15-26

    4. Graph Rewriting Systems and Abstract Interpretation

      • Chris Hankin
      Pages 27-36

    5. Geometric Logic in Computer Science

      • Steve Vickers
      Pages 37-54

  3. Research Papers

    1. Front Matter

      Pages 55-55
      Download chapter PDF

    2. Interaction Categories

      • Samson Abramsky
      Pages 57-69

    3. Animating LU

      • Mark Dawson
      Pages 70-81

    4. Dynamical systems, Measures and Fractals via Domain Theory

      • Abbas Edalat
      Pages 82-99

    5. Self-duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories

      • Abbas Edalat
      Pages 100-114

    6. Reasoning About Gamma Programs

      • Lindsay Errington, Chris Hankin, Thomas P. Jensen
      Pages 115-125

    7. Generalising Interpretations Between Theories in the Context of (π-)institutions

      • José Luis Fiadeiro, Tom Maibaum
      Pages 126-147

    8. Modelling Signal in Interaction Categories

      • Simon Gay, Rajagopal Nagarajan
      Pages 148-158

    9. Product Operations in Strong Monads

      • Reinhold Heckmann
      Pages 159-170

    10. On the Equivalence of State-Transition Systems

      • Michael Huth
      Pages 171-182

    11. Towards a Modal Logic of Durative Actions

      • Stuart Kent
      Pages 183-194

    12. Concurrency, Fairness and Logical Complexity

      • Marta Kwiatkowska
      Pages 195-208

    13. Concurrency and Conflict in CSP

      • Marta Kwiatkowska, Iain Phillips
      Pages 209-225

    14. A Complete Axiom System for CCS with a Stability Operator

      • Sarah Liebert
      Pages 226-234
Back to top

Keywords

About this book

This volume contains the proceedings of the fIrst workshop held by the Theory and Formal Methods Section ofthe Imperial College Department of Computing. It contains papers from almost every member of the Section, from our long-term academic visitors, and from those who have recently left us. The papers fall into four broad areas: • semantics • concurrency • logic • specification with some papers spanning a number of disciplines. The subject material varies from work on mathematical foundations to practical applications of this theory, expressing the Section's commitment to both the foundations of computer science, and the application of theory to real computing problems. In preparing the workshop and these proceedings, care was taken to ensure that there were papers overviewing a field, as well as ones whose primary aim was to present new scientifIc results. This had a dual purpose: to bring our Section members up to speed in some of the areas being worked on by the Section; and to provide the reader of the proceedings not only with a good introduction to many of the specifIc areas being investigated by the Section, but also with details of some of our latest results. All the papers presented at the workshop were revised following comments made by the workshop participants, and all were subsequently reviewed by at least two people before producing the fInal versions contained in this volume.

Editors and Affiliations

  • Department of Computing, Imperial College of Science, Technology and Medicine, London, UK

    Geoffrey Burn, Simon Gay, Mark Ryan

Bibliographic Information

  • Book Title: Theory and Formal Methods 1993

  • Book Subtitle: Proceedings of the First Imperial College Department of Computing Workshop on Theory and Formal Methods, Isle of Thorns Conference Centre, Chelwood Gate, Sussex, UK, 29–31 March 1993

  • Editors: Geoffrey Burn, Simon Gay, Mark Ryan

  • Series Title: Workshops in Computing

  • DOI: https://doi.org/10.1007/978-1-4471-3503-6

  • Publisher: Springer London

  • eBook Packages: Springer Book Archive

  • Copyright Information: Springer-Verlag London 1993

  • Softcover ISBN: 978-3-540-19842-0Published: 24 September 1993

  • eBook ISBN: 978-1-4471-3503-6Published: 06 December 2012

  • Series ISSN: 1431-1682

  • Edition Number: 1

  • Number of Pages: VIII, 329

  • Additional Information: Jointly published with the British Computer Society

  • Topics: Mathematical Logic and Formal Languages, Software Engineering

  • Industry Sectors: IT & Software, Telecommunications

Publish with us

Policies and ethics

Back to top

Search

Navigation