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

Chris Hankin, Ian Mackie, Rajagopal Nagarajan: Preface.

Monday, 12 September 1994

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

Tuesday, 13 September 1994

Sarah Liebert: Modularization and Priorities. 167-179
Chrysafis Hartonas, Marta Z. Kwiatkowska: Synchronisation Trees and Fairness: A Case Study. 181-198
Steven Vickers: Locales are Not Pointless. 199-216
Gillian Hill: Constructing Specifications and Modules in a KZ-doctrine. 217-233
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
François Lamarche: From Chu Spaces to Cpos. 283-305
David Clark, Lindsay Errington, Chris Hankin: Static Analysis of Value-Passing Process Calculi. 307-320

Wednesday, 14 September 1994

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

Last update Sat May 25 03:39:00 2013 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page