Geoffrey L. Burn, Simon J. Gay, Mark Ryan (Eds.):
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.
3-14
- Roy L. Crole:
Deriving Category Theory from Type Theory.
15-26
- Chris Hankin:
Graph Rewriting Systems and Abstract Interpretation.
27-36
- Steven Vickers:
Geometric Logic in Computer Science.
37-54
Part 2:
Research Papers
- Samson Abramsky:
Interaction Categories.
57-69
- Mark Dawson:
Animating LU.
70-81
- Abbas Edalat:
Dynamical Systems, Measures and Fractals Via Domain Theory.
82-99
- Abbas Edalat:
Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories.
100-114
- Lindsay Errington, Chris Hankin, Thomas P. Jensen:
Reasoning About Gamma Programs.
115-125
- José Luiz Fiadeiro, T. S. E. Maibaum:
Generalising Interpretations between Theories in the context of (pi-) Institutions.
126-147
- Simon J. Gay, Rajagopal Nagarajan:
Modelling SIGNAL in Interaction Categories.
148-158
- Reinhold Heckmann:
Product Operations in Strong Monads.
159-170
- Michael Huth:
On the Equivalence of State-Transition Systems.
171-182
- Stuart Kent:
Towards a Modal Logic of Durative Actions.
183-194
- Marta Z. Kwiatkowska:
Concurrency, Fairness and Logical Complexity.
195-208
- Marta Z. Kwiatkowska, Iain Phillips:
Concurrency and Conflict in CSP.
209-225
- Sarah Liebert:
A Complete Axiom System for CCS with a Stability Operator.
226-234
- Ian Mackie, Leopoldo Román, Samson Abramsky:
An Internal Language for Autonomous Categories.
235-246
- Juarez Muylaert Filho, Geoffrey L. Burn:
Continuation Passing Transformation and Abstract Interpretation.
247-259
- Iain Phillips:
A Note on Expressiveness of Process Algebra.
260-264
- Mark Ryan:
Prioritising Preference Relations.
265-275
- David Sands:
Laws of Parallel Synchronised Termination.
276-288
- Zvi Schreiber:
Implementing Process Calculi in C.
289-301
- Paul Taylor:
An Exact Interpretation of While.
302-313
- Irek Ulidowski:
Congrurences for tau-Respecting Formats of Rules.
314-325
Copyright © Tue Mar 16 02:15:05 2010
by Michael Ley (ley@uni-trier.de)
