Communicating sequential processes

>> Google Books

所蔵情報QRコード

Communicating sequential processes / C.A.R. Hoare

資料種別:: 図書
出版情報:: Englewood Cliffs, N.J. : Prentice-Hall International, c1985
形態:: viii, 256 p. ; 24 cm
シリーズ名:: Prentice-Hall International series in computer science <BA00010507>
著者名:: Hoare, C. A. R. (Charles Antony Richard), 1934- <DA00020063>
ISBN:: 9780131532717 [0131532715]
9780131532892 [0131532898] (: pbk)
書誌ID:: BA00618492

子書誌情報

フルテキスト

所蔵情報

他の版・巻

書誌詳細

注記:

Bibliography: p. 251-252
Includes index

主題:

Electronic digital computers--Programming; Parallel processing (Electronic computers)

言語:

英語

目次情報:

Processes / 1：

Concurrency / 2：

Nondeterminism / 3：

Communication / 4：

Sequential Processes / 5：

Shared Resources / 6：

Discussion / 7：

Processes / 1：

Concurrency / 2：

Nondeterminism / 3：

Communication / 4：

Sequential Processes / 5：

Shared Resources / 6：

続きを見る

東工大ブックレビュー

類似資料:

1 図書 Developements in concurrency and communication Hoare, C. A. R. (Charles Antony Richard), 1934- Addison-Wesley Pub. Co.	7 図書 VDM '90 : VDM and Z : formal methods in software development : Third International Symposium of VDM Europe, Kiel, FRG, April 17-21, 1990, proceedings (: gw ; : us) VDM-Europe Symposium, Bjørner, D. (Dines), 1937-, Langmaack, Hans, Hoare, C. A. R. (Charles Antony Richard), 1934- Springer-Verlag
2 図書 Communicating Sequential Processes : the first 25 years : Symposium on the Occasion of 25 Years of CSP London, UK, July 7-8, 2004 : revised invited papers Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., 1957-, Jones, Cliff B., 1944-, Sanders, Jeff W., Hoare, … Springer	8 図書 The theory of mathematical machines Bazilevskiĭ, I︠U︡. I︠A︡. (I︠U︡riĭ I︠A︡kovlevich), Hoare, C. A. R. (Charles Antony Richard), 1934-, Jackson, J. M. Pergamon Press
3 電子ブック Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., Hoare, Charles Antony Richard, Jones, Cliff B., Kanade, … Springer eBooks Computer Science, Springer Berlin / Heidelberg	9 図書 Structured programming Dahl, Ole-Johan, 1931-, Dijkstra, Edsger Wybe, 1930-, Hoare, C. A. R. (Charles Antony Richard), 1934- Academic Press
4 電子ブック Communicating Sequential Processes. The First 25 Years Symposium on the Occasion of 25 years of CSP, Abdallah, Ali E., Hoare, Charles Antony Richard, Jones, Cliff B., Kanade, … SpringerLink Books - AutoHoldings, Springer Berlin / Heidelberg	10 図書 Computational complexity of sequential and parallel algorithms Kronsjö, Lydia Wiley
5 図書 Mathematical logic and programming languages Shepherdson, J. C., Hoare, C. A. R. (Charles Antony Richard), 1934- Prentice Hall International	11 図書 Complexity of sequential and parallel numerical algorithms : proceedings Symposium on Complexity of Sequential and Parallel Numerical Algorithms, Traub, Joseph Frederick, 1932-, Carnegie-Mellon … Academic Press
6 図書ホーアCSPモデルの理論吉田, 信博, Hoare, C. A. R. (Charles Antony Richard), 1934- 丸善	12 図書 Scientific applications of multiprocessors Royal Society (Great Britain). Discussion Meeting, Elliott, R. J. (Roger J.), 1928-, Hoare, C. A. R. (Charles Antony … Prentice Hall