Lecture Notes in Computer Science. Concur '96: Concurrency Theory,
EUROPEAN OFFICE OF AEROSPACE RESEARCH AND DEVELOPMENT FPO NEW YORK 09510
Pagination or Media Count:
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 CONCUR96 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.
- Computer Hardware