default search action
Google
Google Scholar
Semantic Scholar
Internet Archive Scholar
CiteSeerX
ORCIDTheory and Formal Methods 1994: Cambridge, UK
- Chris Hankin, Ian Mackie, Rajagopal Nagarajan:
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994. Imperial College Press 1995, ISBN 1-86094-003-X - Chris Hankin, Ian Mackie, Rajagopal Nagarajan:
Preface. Theory and Formal Methods 1994
Monday, 12 September 1994
- Samson Abramsky, Guy McCusker:
Games for Recursive Types. Theory and Formal Methods 1994: 1-20 - Michael Huth:
Interaction Orders as Games. Theory and Formal Methods 1994: 21-40 - Ian Mackie:
A Lambda-Evaluator Based on Interaction Nets. Theory and Formal Methods 1994: 41-60 - Andrew M. Pitts:
Completeness and Continuity Properties of Applicative Bisimulation. Theory and Formal Methods 1994: 61 - Simon J. Gay:
Combinators for Interaction Nets. Theory and Formal Methods 1994: 63-84 - Roy L. Crole, Simon J. Gay, Rajagopal Nagarajan:
An Internal Language for Interaction Categories. Theory and Formal Methods 1994: 85-104 - Dusko Pavlovic:
Categorical Logic of Concurrency and Interaction I: Synchronous Processes. Theory and Formal Methods 1994: 105-141 - Juarez Muylaert Filho:
Continuation Strictness Analysis of Lists. Theory and Formal Methods 1994: 143-166
Tuesday, 13 September 1994
- Sarah Liebert:
Modularization and Priorities. Theory and Formal Methods 1994: 167-179 - Chrysafis Hartonas, Marta Z. Kwiatkowska:
Synchronisation Trees and Fairness: A Case Study. Theory and Formal Methods 1994: 181-198 - Steven Vickers:
Locales are Not Pointless. Theory and Formal Methods 1994: 199-216 - Gillian Hill:
Constructing Specifications and Modules in a KZ-doctrine. Theory and Formal Methods 1994: 217-233 - José Luiz Fiadeiro, T. S. E. Maibaum:
Verifying for Reuse: Foundations of Object-Oriented System Verification. Theory and Formal Methods 1994: 235-257 - Martín Hötzel Escardó:
Recursion and Induction on the Real Line. Theory and Formal Methods 1994: 259-282 - François Lamarche:
From Chu Spaces to Cpos. Theory and Formal Methods 1994: 283-305 - David Clark, Lindsay Errington, Chris Hankin:
Static Analysis of Value-Passing Process Calculi. Theory and Formal Methods 1994: 307-320
Wednesday, 14 September 1994
- Steven Vickers:
Geometric logic as a Specification Language. Theory and Formal Methods 1994: 321-340 - Kevin Lano, Stephen J. Goldsack:
Refinement, Subtyping and Subclassing in VDM++. Theory and Formal Methods 1994: 341-363 - Mark Dawson, Steven Vickers:
Towards a GeoZ Toolkit. Theory and Formal Methods 1994: 365-380 - Thomas P. Jensen:
Denotational Semantics of Timed Dataflow Programs. Theory and Formal Methods 1994: 381-396 - Michael B. Smyth:
Inverse Limits of Graphs. Theory and Formal Methods 1994: 397-409 - Abbas Edalat:
Domain of Computation of a Random Field in Statistical Physics. Theory and Formal Methods 1994: 411-430
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.
last updated on 2025-12-05 22:22 CET by the dblp team
all metadata released as open data under CC0 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
dblp was originally created in 1993 at:
since 2018, dblp has been operated and maintained by:
the dblp computer science bibliography is funded and supported by:
