Readership: Algebraists, computer scientists, logicians, and AI researchers.
Edited by S. Abramsky, Professor, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, Dov M. Gabbay, Professor of Computing Science, Department of Computing, Imperial College of Science, Technology and Medicine, University of London, and T. S. E. Maibaum, Professor of Foundations of Software Engineering, Imperial College of Science, Technology and Medicine, University of London
1.: Models for concurrency 2.: Concrete process alegbra 3.: Correspondence between operational and denotational semantics: the full abstraction problem for PCF 4.: Effective algebras 5.: Abstract interpretation: a semantics based tool for program analysis
