Welcome to Jarir!
Item 1 of 1
Item 1 of 1
Springer
CONCUR 96: Concurrency Theory : 7th International Conference
PisaItalyAugust 26 - 291996. Proceedings
SR 773
Inclusive of VAT
SR46Per Month/24 months
This book is printed on demand and is non-refundable after purchase
Available Formats :
Printed Book
It will be sent to your address
SR773
Incl. VAT
Secure Shopping
Convenient Returns
Genuine & Warranted
Fast Delivery
About this Product
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.
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.
Report an issue with this product.
