| 000 | 01084nam a2200217Ia 4500 | ||
|---|---|---|---|
| 008 | 131122s9999 xx 000 0 und d | ||
| 020 | _a3-540-28309-9 | ||
| 040 | _aISI KOLKATA | ||
| 041 | _aEnglish | ||
| 082 |
_a5.1 _bIn61 |
||
| 100 | _aAbadi Martin ed. | ||
| 110 | _aInternational Conference on Concurrency Theory, CONCUR 2005 | ||
| 111 |
_aInternational conference on concurrency theory, CONCUR 2005 _cSan Francisco, CA _d23-26 Aug 2005 |
||
| 245 |
_aConcur 2005 - concurrency theory _bproceedings |
||
| 260 |
_aBerlin _bSpringer-Verlag _c2005 |
||
| 300 | _axiv,578p. | ||
| 440 | _aLecture notes in computer science; v 3653 | ||
| 520 | _aAmong the topics covered are concurrency related aspects of models of computation, Petri nets, model checking, game semantics, process algebras, real-time systems, verification techniques, secrecy and authenticity, refinement, distributed programming, constraint logic programming, typing systems and algorithms, case studies, tools, and environment for programming and verification. | ||
| 650 | _aConcurrency theory | ||
| 942 | _cBK | ||
| 999 |
_c110035 _d110035 |
||