You might also like

More about CONCUR 2001 - Concurrency Theory

• Book details
• Synopsis
• Trending among others

You get 154 loyalty points

Book synopsis

This book constitutes the refereed proceedings of the 12th International Conference on Concurrency Theory, CONCUR 2001, held in Aalborg, Denmark in August 2001.The 32 revised full papers presented together with six invited contributions were carefully reviewed and selected from 78 submissions. The papers are organized in topical sections on mobility, probabilistic systems, model checking, process algebra, unfoldings and prefixes, logic and compositionality, and games.

Book details

Book category Books in English Computing & information technology Computer science Computer architecture & logic design

• Full title: CONCUR 2001 - Concurrency Theory
• Subtitle: 12th International Conference, Aalborg, Denmark, August 20-25, 2001 Proceedings
• Author: Kim G. Larsen, Mogens Nielsen
• Language: English
• Binding: Paperback
• Number of pages: 589
• EAN: 9783540424970
• ISBN: 3540424970
• ID: 01563714
• Publisher: Springer-Verlag Berlin and Heidelberg GmbH & Co. KG
• Weight: 1830 g
• Dimensions: 235 × 155 × 33 mm
• Date of publishing: 13. August 2001

Trending among others

---

---

---