[Prev][Next][Index][Thread]
New book: Theory and Formal Methods 1993
Announcing:
"Theory and Formal Methods 1993"
Eds. Geoffrey Burn, Simon Gay and Mark Ryan
A new title in Springer's "Workshops in Computing" Series.
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 Match 1993.
The Theory and Formal Methods Section of the Imperial College
Department of College has an international reputation for research
into the foundations of computer science, and the application of this
theory to real computing problems. In March 1993 it held the first in
a proposed series of workshops on theory and formal methods at the
Isle of Theory Conference Centre in Sussex, UK. This volume contains
revised versions of the papers presented at the workshop. They cover
four main areas --- semantics, concurrency, logic, and specification
-- with several papers spanning a variety of disciplines. The
contributions fall into two main categories: review papers which
provide the reader with an introduction to some specific areas being
studied by the Section, and research papers which give details of the
latest results in these areas.
THEORY AND FORMAL METHODS 1993 provides a comprehensive overview of
the work being carried out by one of the world's leading research
centres in theory and formal methods. It will be of interest to
practitioners and researchers, as well as post- and undergraduate
students.
OVERVIEW PAPERS
Geoffrey Burn
The Abstract Interpretation of Functional Languages
Roy Crole
Deriving Category Theory from Type Theory
Steve Vickers
Geometric Logic in Computer Science
Chris Hankin
Graph Rewriting Systems and Abstract Interpretation
RESEARCH PAPERS
Samson Abramsky
Interaction Categories
Mark Dawson
Animating LU
Abbas Edalat
Dynamical Systems, Measures and Fractals via Domain Theory
Abbas Edalat
Self-Duality, Minimal Invariant Objects and Karoubi
Invariance in Information Categories
Lindsay Errington, Chris Hankin and Thomas Jensen
Reasoning about GAMMA Programs
Jose Fiadeiro and Tom Maibaum
Generalising Interpretation between Theories in the Context
of (pi-)Institutions
Simon Gay and Raja Nagarajan
Modelling SIGNAL in Interaction Categories
Reinhold Heckmann
Product Operations in Strong Monads
Michael Huth
On the Equivalence of State-transition Systems
Stuart Kent
Towards a Modal Logic of Durative Actions
Marta Kwiatkowska
Concurrency, Fairness, and Logical Complexity
Marta Kwiatkowska and Iain Phillips
Concurrency and Conflict in CSP
Sarah Liebert
A Complete Axiom System for CCS with a Stability Operator
Ian Mackie, Leopoldo Roman and Samson Abramsky
An Internal Language for Autonomous Categories
Juarez Muylaert Filho and Geoffrey Burn
Continuation-passing Transformation and Abstract Interpretation
Iain Phillips
A Note on the Expressiveness of Process Algebra
Mark Ryan
Prioritising Preference Relations
David Sands
Laws of Parallel Synchronised Termination
Zvi Schreiber
Implementing Process Calculi in C
Paul Taylor
An Exact Interpretation of While
Irek Ulidowski
Congruences for tau-respecting Formats of Rules
Theory and Formal Methods 1993
Eds. Geoffrey Burn, Simon Gay and Mark Ryan
Springer-Verlag London, 1993.
336pp (approx), 32 figures, 12 tables. Soft cover. Publication due:
September 1993. Price: 37 pounds (30 pounds to members of the BCS).
ISBN 3-540-19842-3.
ORDER FORM
Please order from your bookseller or from:
Springer Verlag London Ltd
Sales Office
Springer House
8 Alexandra Road
London SW19 7JZ
Tel: +44 81 947 1280
Fax: +44 81 947 1274
Please send me ____ copies of ISBN 3-540-19842-3 (Theory and Formal
Methods 1993, eds Burn, Gay, Ryan) at 37 / 30 pounds (delete as
necessary).
TOTAL ___________
Please charge my eurocard/access/mastercard/visa/bankamericard (delete
as necessary) number |_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|_|
valid until_____________________
Today's date____________________
Signature_______________________
OR Cheque payable to Springer Verlag London Ltd
OR Proforma Invoice
(delete as necessary)
Name________________________________________________________
Address_____________________________________________________
____________________________________________________________
____________________________________________________________
____________________________________________________________
____________________________________________________________