Concurrency Theory Conference Proceedings
| Author/creator | Baeten, J.C.M. Editor |
| Other author | Groote, J.F. Editor |
| Format | Electronic |
| Publication Info | New York : Springer |
| Description | ix, 541 p. 24.200 x 017.000 cm. |
| Supplemental Content | Full text available from SpringerLINK Lecture Notes in Computer Science |
| Supplemental Content | Full text available from Springer Books |
| Subjects |
| Series | Lecture Notes in Computer Science Ser. |
| Summary | Annotation CONCUR'91 is the second international conference onconcurrency theory, organized in association with the NFIproject Transfer. It is a sequel to the CONCUR'90conference. Its basic aim is to communicate ongoing work inconcurrency theory. This proceedings volume contains 30papers selected for presentation at the conference (from 71submitted) together with four invited papers and abstractsof the other invited papers. The papers are organized intosections on process algebras, logics and model checking,applications and specification languages, models and nettheory, design and real-time, tools and probabilities, andprogramming languages. The proceedings of CONCUR'90 areavailable asVolume 458 of Lecture Notes in ComputerScience. |
| Access restriction | Available only to authorized users. |
| Technical details | Mode of access: World Wide Web |
| Genre/form | Electronic books. |
| ISBN | 9783540544302 |
| ISBN | 3540544305 (Trade Paper) Active Record |
| Standard identifier# | 9783540544302 |
| Stock number | 3540544305 00024965 |
Availability
| Library | Location | Call Number | Status | Item Actions |
|---|---|---|---|---|
| Electronic Resources | ✔ Available |