Theory and Formal Methods 1993: Chelwood Gate, Sussex, UK
- Geoffrey L. Burn, Simon J. Gay, Mark Ryan:
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. Workshops in Computing, Springer 1993, ISBN 3-540-19842-3
Part 1: Overview and Introductory Papers
- Geoffrey L. Burn:
The Abstract Interpretation of Functional Languages. Theory and Formal Methods 1993: 3-14 - Chris Hankin:
Graph Rewriting Systems and Abstract Interpretation. Theory and Formal Methods 1993: 27-36
Part 2: Research Papers
- Abbas Edalat:
Dynamical Systems, Measures and Fractals Via Domain Theory. Theory and Formal Methods 1993: 82-99 - Abbas Edalat:
Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories. Theory and Formal Methods 1993: 100-114 - Lindsay Errington, Chris Hankin, Thomas P. Jensen:
Reasoning About Gamma Programs. Theory and Formal Methods 1993: 115-125 - José Luiz Fiadeiro, T. S. E. Maibaum:
Generalising Interpretations between Theories in the context of (pi-) Institutions. Theory and Formal Methods 1993: 126-147 - Simon J. Gay, Rajagopal Nagarajan:
Modelling SIGNAL in Interaction Categories. Theory and Formal Methods 1993: 148-158 - Michael Huth:
On the Equivalence of State-Transition Systems. Theory and Formal Methods 1993: 171-182 - Marta Z. Kwiatkowska:
Concurrency, Fairness and Logical Complexity. Theory and Formal Methods 1993: 195-208 - Marta Z. Kwiatkowska, Iain Phillips:
Concurrency and Conflict in CSP. Theory and Formal Methods 1993: 209-225 - Sarah Liebert:
A Complete Axiom System for CCS with a Stability Operator. Theory and Formal Methods 1993: 226-234 - Ian Mackie, Leopoldo Román, Samson Abramsky:
An Internal Language for Autonomous Categories. Theory and Formal Methods 1993: 235-246 - Juarez Muylaert Filho, Geoffrey L. Burn:
Continuation Passing Transformation and Abstract Interpretation. Theory and Formal Methods 1993: 247-259 - Irek Ulidowski:
Congrurences for tau-Respecting Formats of Rules. Theory and Formal Methods 1993: 314-325