Theory and Formal Methods 1993

1. Front Matter

   Pages i-viii

   PDF

2. Overview and Introductory Papers

   1. Front Matter

      Pages 1-1

      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

      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

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.

• Specification
• complexity
• computer
• computer science
• concurrency
• dynamical systems
• formal method
• formal methods
• language
• logic
• modeling
• process algebra
• programming
• programming language
• semantics

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

  Geoffrey Burn, Simon Gay, Mark Ryan

Policies and ethics