Accession Number : ADA294024

Title :   Theoretical Computer Science: Logic, Semantics and Theory of Programming. Volume 138, Number 2. Selected Papers of the Meeting on the Mathematical Foundations of Programming Semantics (MFPS '92), Oxford, April 1992, Part 3: Concurrency Theory.

Corporate Author : EUROPEAN ASSOCIATION FOR THEORETICAL COMPUTER SCIENCE

Personal Author(s) : Nivat, M. ; Mislove, M. W. ; Reed, G. M. ; Roscoe, A. W. ; Wachter, R. F.

Report Date : 20 FEB 1995

Pagination or Media Count : 219

Abstract : This is the last of three special issues of TCS devoted to the Proceedings of the meeting on the Mathematical Foundations of Programming Semantics that took place at the University of Oxford in April, 1992. This series of meetings began in 1985, and it has met annually since that time; the Oxford meeting was the eighth meeting in the series. The MFPS series has as its goals: (1) to familiarize computer scientists with relevant mathematical research; (2) to provide mathematicians with a new perspective in their research in which they can see their results applied to problems in theoretical computation; and (3) to provide a forum in which both groups can become more aware of the possibility of common research interests and interactions. The papers in this issue are devoted to concurrency. (kar) p. 5

Descriptors :   *THEORY, *COMPUTER LOGIC, *COMPUTER PROGRAMMING, *SEMANTICS, SYMPOSIA, COMPUTATIONS, COMPUTERS, MATHEMATICS, COMPUTER PERSONNEL, SCIENTISTS.

Subject Categories : Computer Programming and Software

Distribution Statement : APPROVED FOR PUBLIC RELEASE