Research Catalog

Title

Theory and formal methods of computing 94 : proceedings of the Second Imperial College Workshop / editors, C. Hankin, I. Mackie, R. Nagarajan.

Publication

London : Imperial College Press ; Singapore ; River Edge, NJ : Distributed by World Scientific, [1995], ©1995.

Items in the Library & Off-site

Holdings

Details

Additional Authors

• Hankin, Chris.
• Mackie, I. (Ian)
• Nagarajan, R. (Rajagopal)
• Imperial College of Science, Technology and Medicine. Department of Computing.
• Imperial College Department of Computing Workshop on Theory and Formal Methods (2nd : 1994 : Cambridge, England)

Description

ix, 431 pages : illustrations; 23 cm

Subject

• Computer science > Congresses

Note

• At head of title: Imperial College, Department of Computing.
• Papers presented at the Second Workshop of the Theory and Formal Methods Section of the Department of Computing, Imperial College, London held in Cambridge on 11th-14th September 1994.

Bibliography (note)

• Includes bibliographical references and index.

Contents

• Games for Recursive Types / Samson Abramsky and Guy McCusker -- Interaction Orders as Games / Michael Huth -- A Lambda-Evaluator Based on Interaction Nets / Ian Mackie -- Completeness and Continuity Properties of Applicative Bisimulation / Andrew M. Pitts -- Combinators for Interaction Nets / Simon Gay -- An Internal Language for Interaction Categories / Roy Crole, Simon Gay and Rajagopal Nagarajan -- Categorical Logic of Concurrency and Interaction I: Synchronous Processes / Dusko Pavlovic -- Continuation Strictness Analysis of Lists / Juarez Muylaert-Filho -- Modularization and Priorities / Sarah Liebert -- Synchronization Trees and Fairness: A Case Study / Chrysafis Hartonas and Marta Kwiatkowska -- Locales are Not Pointless / Steven Vickers -- Constructing Specifications and Modules in a KZ-doctrine / Gillian Hill -- Verifying for Reuse: Foundations of Object-Oriented System Verification / Jose L. Fiadeiro and Tom Maibaum --
• Induction and Recursion on the Real Line / Martin Hotzel Escardo -- From Chu Spaces to Cpos / Francois Lamarche -- Static Analysis of Value-Passing Process Calculi / David Clark, Lindsay Errington and Chris Hankin -- Geometric Logic as a Specification Language / Steven Vickers -- Refinement, Subtyping and Subclassing in VDM[superscript ++] / Kevin Lano and Steven Goldsack -- Towards a GeoZ Toolkit / Mark Dawson and Steven Vickers -- Denotational Semantics of Timed Dataflow Programs / Thomas P. Jensen -- Inverse Limits of Graphs / Mike B. Smyth -- Domain of Computation of a Random Field in Statistical Physics / Abbas Edalat.

ISBN

186094003X

LCCN

95037143

OCLC

ocm33044482

Owning Institutions

Columbia University Libraries