CONCUR '96
3 hrs read
Rate this book:
About This Book
"This book constitutes the refereed proceedings of the 7th International Conference on Concurrency Theory, CONCUR '96, held in Pisa, Italy, in August 1996. The volume presents 37 revised full papers selected from a total of 133 submissions; also included are seven invited papers. The contributions are grouped into topical sections on process algebras, categorical approaches, the pi-calculus, decidability and complexity, probability, functional and constraint programming, Petri nets, verification, automata and causality, practical models, and shared-memory systems."--PUBLISHER'S WEBSITE.
Buy This Book
As an Amazon Associate and Bookshop.org affiliate, BookOrb earns from qualifying purchases.
Write a Review
Sign in to write a review.
More by Ugo Montanari
Advanced seminar on foundations of innovative software development I and colloquium on trees in algebra and programming (CAAP'87)
Bartolomeo Campagnoli, violini
Bartolomeo Campagnoli, violinista compositore, 1751-1827
Foundations of Information Technology in the Era of Network and Mobile Computing
Models of Computation
TAPSOFT '87 Vol. 2