Theory and formal methods of computing 94 [electronic resource] : proceedings of the Second Imperial College Workshop / editors, C. Hankin, I. Mackie, R. Nagarajan.
Material type: Computer filePublication details: London : Imperial College Press ; Singapore : Distributed by World Scientific, ©1995.Description: 1 online resource (446 p.) : illISBN:- 9781783263493
- 1783263490
- 005.1/01/5113 23
- QA75.5 .T525 1995
Mode of access: World Wide Web.
Description based on online resource; title from PDF title page (viewed February 12, 2018).
Electronic reproduction. Singapore : World Scientific, [2018]
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.
Includes bibliographical references and index.
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.
There are no comments on this title.