文档介绍：ALGEBRAIC SPECIFICATION OF
COMMUNICATION PROTOCOLS
Cambridge Tracts in Theoretical
Computer Science
Managing Editor Professor CJ. van Rijsbergen,
Department puting Science, University of Glasgow
Editorial Board
S. Abramsky, Department puting Science, Imperial College of Science
and Technology
. Aczel, Department puter Science, University of Manchester
. de Bakker, Centrum voor Wiskunde en Informatica, Amsterdam
J. A. Goguen, Programming Research Group, University of Oxford
Y. Gurevich, Department of Electrical Engineering puter Science,
University of Michigan
J. V. Tucker, Department of Mathematics puter Science,
University College of Swansea
Titles in the series
1. G. Chaitin Algorithmic Information Theory
2. . Paulson Logic putation
3. M. Spivey Understanding Z
4. G. Revesz Lambda Calculus, Combinators and Functional Programming
5. A. Ramsay Formal Methods in Artificial Intelligence
6. S. Vickers Topology via Logic
7. J-Y. Girard, Y. Lafont & P. Taylor Proofs and Types
8. J. Clifford Formal Semantics & Pragmatics for Natural Language Processing
9. M. Winslett Updating Logical Databases
10. K. McEvoy & . Tucker (eds) Theoretical Foundations of VLSI Design
11. . Tse A Unifying Framework for Stuctured Analysis and Design Models
12. G. Brewka Nonmonotonic Reasoning
14. . Hoggar Mathematics puter Graphics
15. S. Dasgupta Design Theory puter Science
17. . Baeten (ed) Applications of Process Algebra
18. . Baeten & W. P. Weijland Process Algebra
21. . Wolfram The Clausal Theory of Types
23. E.-R. s, Terms and Formulas
26. . Mosses Action Semantics
27. . Hesselink Programs, Recursion and Unbounded Choice
29. P. Gardenfors (ed) Belief Revision
30. M. Anthony & N. putational Learning Theory
31. . Melham Higher Order Logic and Hardware Verification
32. . Carpenter The Logic of Typed Feature Structures
33. . Manes Predicate Transformer Semantics
34. F. Nielson & . Nielson Two Level Funct