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