Tell your friends about this item:
Concur '95: 6th International Conference, Philadelphia, Pa, Usa, August 21-24, 1995 - Proceedings - Lecture Notes in Computer Science Scott a Smolka
Concur '95: 6th International Conference, Philadelphia, Pa, Usa, August 21-24, 1995 - Proceedings - Lecture Notes in Computer Science
Scott a Smolka
The aim of this proceedings volume is to communicate ongoing research in the field of concurrency theory. Papers include discussions on process algebras, model checking, mobile processes, process theory, true concurrency, probabilistic automata, real-time systems, and testing semantics.
564 pages, biography
| Media | Books Paperback Book (Book with soft cover and glued back) |
| Released | September 9, 1995 |
| ISBN13 | 9783540602187 |
| Publishers | Springer-Verlag Berlin and Heidelberg Gm |
| Pages | 564 |
| Dimensions | 216 × 279 × 29 mm · 784 g |
| Language | German |
| Editor | Lee, Insup |
| Editor | Smolka, Scott |