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
Monday, 12 September 1994
- 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
- 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
- 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
data released under the ODC-BY 1.0 license. See also our legal information page
last updated on 2013-06-19T203413 by the dblp team