International Symposium of Science and Engineering on Supercomputers.International Symposium of Science and Engineering on Supercomputers (5th : 1990 : London)：Science and engineering on supercompute.Springer,1990.
BCS-FACS Workshop on Specification and Verification of Concurrent Systems.BCS-FACS Workshop on Specification and Verification of Concurrent Systems (1988 : Scotland)：Specification and Verification of Concurrent Systems.Springer,1990.
