Theory and Formal Methods 1994: Cambridge, UK

Chris Hankin, Ian Mackie, Rajagopal Nagarajan (Eds.): Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, 11-14 September 1994. Imperial College Press 1995, ISBN 1-86094-003-X
Contents BibTeX

Chris Hankin, Ian Mackie, Rajagopal Nagarajan: Preface. BibTeX

Monday, 12 September 1994

Samson Abramsky, Guy McCusker: Games for Recursive Types. 1-20 BibTeX
Michael Huth: Interaction Orders as Games. 21-40 BibTeX
Ian Mackie: A Lambda-Evaluator Based on Interaction Nets. 41-60 BibTeX
Andrew M. Pitts: Completeness and Continuity Properties of Applicative Bisimulation. 61 BibTeX
Simon J. Gay: Combinators for Interaction Nets. 63-84 BibTeX
Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan: An Internal Language for Interaction Categories. 85-104 BibTeX
Dusko Pavlovic: Categorical Logic of Concurrency and Interaction I: Synchronous Processes. 105-141 BibTeX
Juarez Muylaert Filho: Continuation Strictness Analysis of Lists. 143-166 BibTeX

Tuesday, 13 September 1994

Sarah Liebert: Modularization and Priorities. 167-179 BibTeX
Chrysafis Hartonas, Marta Z. Kwiatkowska: Synchronisation Trees and Fairness: A Case Study. 181-198 BibTeX
Steven Vickers: Locales are Not Pointless. 199-216 BibTeX
Gillian Hill: Constructing Specifications and Modules in a KZ-doctrine. 217-233 BibTeX José Luiz Fiadeiro, T. S. E. Maibaum: Verifying for Reuse: Foundations of Object-Oriented System Verification. 235-257
Martín Hötzel Escardó: Recursion and Induction on the Real Line. 259-282 BibTeX
François Lamarche: From Chu Spaces to Cpos. 283-305 BibTeX
David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. 307-320 BibTeX

Wednesday, 14 September 1994

Steven Vickers: Geometric logic as a Specification Language. 321-340 BibTeX
Kevin Lano, S. J. Goldsack: Refinement, Subtyping and Subclassing in VDM++. 341-363 BibTeX
Mark Dawson, Steven Vickers: Towards a GeoZ Toolkit. 365-380 BibTeX
Thomas P. Jensen: Denotational Semantics of Timed Dataflow Programs. 381-396 BibTeX
Michael B. Smyth: Inverse Limits of Graphs. 397-409 BibTeX
Abbas Edalat: Domain of Computation of a Random Field in Statistical Physics. 411-430 BibTeX