C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
Theory and Formal Methods
1993
1994
1995
1993
1995
Keyphrases
Publications
1995
Proceedings for the Second Imperial College Department of Computing Workshop on Theory and Formal Methods, Møller Centre, Cambridge, UK, 11-14 September 1994
Theory and Formal Methods
(1995)
1994
Martín Hötzel Escardó
Recursion and Induction on the Real Line.
Theory and Formal Methods
(1994)
Dusko Pavlovic
Categorical Logic of Concurrency and Interaction I: Synchronous Processes.
Theory and Formal Methods
(1994)
Abbas Edalat
Domain of Computation of a Random Field in Statistical Physics.
Theory and Formal Methods
(1994)
Chrysafis Hartonas
,
Marta Z. Kwiatkowska
Synchronisation Trees and Fairness: A Case Study.
Theory and Formal Methods
(1994)
José Luiz Fiadeiro
,
T. S. E. Maibaum
Verifying for Reuse: Foundations of Object-Oriented System Verification.
Theory and Formal Methods
(1994)
Simon J. Gay
Combinators for Interaction Nets.
Theory and Formal Methods
(1994)
Chris Hankin
,
Ian Mackie
,
Rajagopal Nagarajan
Preface.
Theory and Formal Methods
(1994)
Mark Dawson
,
Steven Vickers
Towards a GeoZ Toolkit.
Theory and Formal Methods
(1994)
David Clark
,
Lindsay Errington
,
Chris Hankin
Static Analysis of Value-Passing Process Calculi.
Theory and Formal Methods
(1994)
Michael Huth
Interaction Orders as Games.
Theory and Formal Methods
(1994)
Ian Mackie
A Lambda-Evaluator Based on Interaction Nets.
Theory and Formal Methods
(1994)
Steven Vickers
Geometric logic as a Specification Language.
Theory and Formal Methods
(1994)
Steven Vickers
Locales are Not Pointless.
Theory and Formal Methods
(1994)
François Lamarche
From Chu Spaces to Cpos.
Theory and Formal Methods
(1994)
Samson Abramsky
,
Guy McCusker
Games for Recursive Types.
Theory and Formal Methods
(1994)
Andrew M. Pitts
Completeness and Continuity Properties of Applicative Bisimulation.
Theory and Formal Methods
(1994)
Roy L. Crole
,
Simon J. Gay
,
Rajagopal Nagarajan
An Internal Language for Interaction Categories.
Theory and Formal Methods
(1994)
Juarez Muylaert Filho
Continuation Strictness Analysis of Lists.
Theory and Formal Methods
(1994)
Gillian Hill
Constructing Specifications and Modules in a KZ-doctrine.
Theory and Formal Methods
(1994)
Thomas P. Jensen
Denotational Semantics of Timed Dataflow Programs.
Theory and Formal Methods
(1994)
Kevin Lano
,
S. J. Goldsack
Refinement, Subtyping and Subclassing in VDM++.
Theory and Formal Methods
(1994)
Michael B. Smyth
Inverse Limits of Graphs.
Theory and Formal Methods
(1994)
Sarah Liebert
Modularization and Priorities.
Theory and Formal Methods
(1994)
1993
Abbas Edalat
Dynamical Systems, Measures and Fractals Via Domain Theory.
Theory and Formal Methods
(1993)
Iain Phillips
A Note on Expressiveness of Process Algebra.
Theory and Formal Methods
(1993)
Abbas Edalat
Self-Duality, Minimal Invariant Objects and Karoubi Invariance in Information Categories.
Theory and Formal Methods
(1993)
Michael Huth
On the Equivalence of State-Transition Systems.
Theory and Formal Methods
(1993)
Mark Ryan
Prioritising Preference Relations.
Theory and Formal Methods
(1993)
Ian Mackie
,
Leopoldo Román
,
Samson Abramsky
An Internal Language for Autonomous Categories.
Theory and Formal Methods
(1993)
Sarah Liebert
A Complete Axiom System for CCS with a Stability Operator.
Theory and Formal Methods
(1993)
Lindsay Errington
,
Chris Hankin
,
Thomas P. Jensen
Reasoning About Gamma Programs.
Theory and Formal Methods
(1993)
Roy L. Crole
Deriving Category Theory from Type Theory.
Theory and Formal Methods
(1993)
Marta Z. Kwiatkowska
Concurrency, Fairness and Logical Complexity.
Theory and Formal Methods
(1993)
José Luiz Fiadeiro
,
T. S. E. Maibaum
Generalising Interpretations between Theories in the context of (pi-) Institutions.
Theory and Formal Methods
(1993)
Steven Vickers
Geometric Logic in Computer Science.
Theory and Formal Methods
(1993)
Mark Dawson
Animating LU.
Theory and Formal Methods
(1993)
Chris Hankin
Graph Rewriting Systems and Abstract Interpretation.
Theory and Formal Methods
(1993)
Paul Taylor
An Exact Interpretation of While.
Theory and Formal Methods
(1993)
David Sands
Laws of Parallel Synchronised Termination.
Theory and Formal Methods
(1993)
Zvi Schreiber
Implementing Process Calculi in C.
Theory and Formal Methods
(1993)
Samson Abramsky
Interaction Categories.
Theory and Formal Methods
(1993)
Geoffrey L. Burn
The Abstract Interpretation of Functional Languages.
Theory and Formal Methods
(1993)
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
Theory and Formal Methods
(1993)
Stuart Kent
Towards a Modal Logic of Durative Actions.
Theory and Formal Methods
(1993)
Marta Z. Kwiatkowska
,
Iain Phillips
Concurrency and Conflict in CSP.
Theory and Formal Methods
(1993)
Irek Ulidowski
-Respecting Formats of Rules.
Theory and Formal Methods
(1993)
Juarez Muylaert Filho
,
Geoffrey L. Burn
Continuation Passing Transformation and Abstract Interpretation.
Theory and Formal Methods
(1993)
Simon J. Gay
,
Rajagopal Nagarajan
Modelling SIGNAL in Interaction Categories.
Theory and Formal Methods
(1993)
Reinhold Heckmann
Product Operations in Strong Monads.
Theory and Formal Methods
(1993)