| 书目名称 | Object-Based Concurrent Computing |
| 副标题 | ECOOP ‘91 Workshop, |
| 编辑 | M. Tokoro,O. Nierstrasz,P. Wegner |
| 视频video | |
| 丛书名称 | Lecture Notes in Computer Science |
| 图书封面 |  |
| 描述 | The ECOOP ‘91 Workshop on Object-Based Concurrent Computingwas organized toprovide a forum on concurrent, distributedand open-ended computing. Theemphasis was on conceptual,theoretical and formal aspects, as well aspractical aspectsand sound experience, since such a viewpoint wasdeemedindispensible to investigate and establish a basis forfuturedevelopment.This volume contains 12 papers selected from 25 presentedatthe workshop, together with a paper by J.A. Goguen, who wasan invited speaker at the workshop. The papers areclassified into fourcategories:Formal methods (1): three papers are concerned with theformal semantics of concurrent objects based on processcalculi.Formal methods (2): four papers are concerned with variousformal approaches to the semantics of concurrentprograms.Concurrent programming: three papers.Models: three papers areconcerned with models forconcurrent systems. |
| 出版日期 | Conference proceedings 1992 |
| 关键词 | C++ programming language; Concurrency; Concurrent Programming; Formal Methods; Formale Methoden; Nebenläu |
| 版次 | 1 |
| doi | https://doi.org/10.1007/3-540-55613-3 |
| isbn_softcover | 978-3-540-55613-8 |
| isbn_ebook | 978-3-540-47260-5Series ISSN 0302-9743 Series E-ISSN 1611-3349 |
| issn_series | 0302-9743 |
| copyright | Springer-Verlag Berlin Heidelberg 1992 |
发表于 2025-3-21 17:26:29
