Title:
CONCUR 2007 - Concurrency Theory 18th International Conference, CONCUR 2007, Lisbon, Portugal, September 3-8, 2007: Proceedings
Publication Information:
Berlin, Heidelberg : Springer-Verlag Berlin Heidelberg, 2007.
Physical Description:
507 p. : ill., digital ; 24 cm.
ISBN:
9783540744078
General Note:
Available in online version
Added Corporate Author:
Electronic Access:
http://dx.doi.org/10.1007/978-3-540-74407-8
Genre:
DSP_RESTRICTION_NOTE:
Remote access restricted to users with a valid UTM ID via VPN
Available:*
Library | Item Barcode | Call Number | Material Type | Item Category 1 | Status |
---|---|---|---|---|---|
Searching... | EB001312 | EB 001312 | Electronic Book | 1:EBOOK | Searching... |
On Order
Summary
Summary
This volume constitutes the refereed proceedings of the 17th International Conference on Concurrency Theory. Thirty full papers are presented along with three important invited papers. Each of these papers was carefully reviewed by the editors. Topics include model checking, process calculi, minimization and equivalence checking, types, semantics, probability, bisimulation and simulation, real time, and formal languages.