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

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.