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