Accession Number : ADA317534

Title :   Lecture Notes in Computer Science. Concur '96: Concurrency Theory,

Corporate Author : EUROPEAN OFFICE OF AEROSPACE RESEARCH AND DEVELOPMENT FPO NEW YORK 09510

Personal Author(s) : Montanari, Ugo ; Sassone, Vladimiro

Report Date : SEP 1996

Pagination or Media Count : 770

Abstract : The purpose of the CONCUR conferences is to bring together researchers, developers and students in order to advance the science of concurrency theory and promote its applications. Interest in the conference is continuously growing, as a consequence of the importance and ubiquity of concurrent systems and applications, and of the scientific relevance of their foundations. The conference CONCUR'96 was held in Pisa on August 2629,1996. This volume contains 37 papers, selected out of 133 submitted papers; seven invited papers (four invited talks and three tutorials) are also included. The selected papers are grouped into sessions on Process Algebras, Categorical Approaches, The pi-Calculus, Decidability & Complexity, Probability, Functional & Constraint Programming, Petri Nets, Verification, Automata & Causality, Practical Models, Shared Memory Systems.

Descriptors :   *COMPUTERS, *LECTURES, VERIFICATION, STUDENTS, COMPUTER PROGRAMMING, PROBABILITY, ALGEBRA, MEMORY DEVICES, TIME SHARING, AUTOMATA.

Subject Categories : Computer Hardware

Distribution Statement : APPROVED FOR PUBLIC RELEASE