Theory and Formal Methods 1993: Chelwood Gate, Sussex, UK
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. Springer 1993 Workshops in Computing 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
- José Luiz Fiadeiro, T. S. E. Maibaum: Generalising Interpretations between Theories in the context of (pi-) Institutions. 126-147
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2014-07-13T173819 by the dblp team