書目名稱 | Object-Based Concurrent Computing |
副標題 | ECOOP ‘91 Workshop, |
編輯 | M. Tokoro,O. Nierstrasz,P. Wegner |
視頻video | http://file.papertrans.cn/701/700158/700158.mp4 |
叢書名稱 | 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 |
關(guān)鍵詞 | 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 |