| 书目名称 | CONCUR ‘94: Concurrency Theory |
| 副标题 | 5th International Co |
| 编辑 | Bengt Jonsson,Joachim Parrow |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | This volume constitutes the proceedings of the Fifth International Conference on Concurrency Theory, CONCUR ‘94, held at Uppsala, Sweden in August 1994..In total, 29 refereed research papers selected from 108 submissions for the conference are presented together with full papers or abstracts of the 5 invited talks by prominent speakers. The book contains recent results on all relevant aspects of concurrency research and thus competently documents the progress of the field since the predecessor conference CONCUR ‘93, the proceedings of which are published as LNCS 715. |
| 出版日期 | Conference proceedings 1994 |
| 关键词 | Automaten; Nebenläufigkeit; Parallelität; Programmiersemantik; Programmverifikation; automata; concurrency |
| 版次 | 1 |
| doi | https://doi.org/10.1007/978-3-540-48654-1 |
| isbn_softcover | 978-3-540-58329-5 |
| isbn_ebook | 978-3-540-48654-1Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1994 |
发表于 2025-3-21 17:17:44
