>> Amazon.co.jp
このページのQRコード

A Calculus of Communicating Systems. 1st ed. 1980

種類:
電子ブック
責任表示:
by R. Milner
出版情報:
Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1980
著者名:
シリーズ名:
Lecture Notes in Computer Science ; 92
ISBN:
9783540383116 [3540383115]  CiNii Books  Calil
注記:
0. Introduction -- 1. Experimenting on nondeterministic machines -- 2. Synchronization -- 3. A case study in synchronization and proof techniques -- 4. Case studies in value-communication -- 5. Syntax and semantics of CCS -- 6. Communication trees (CTs) as a model of CCS -- 7. Observation equivalence and its properties -- 8. Some proofs about data structures -- 9. Translation into CCS -- 10. Determinancy and confluence -- 11. Conclusion.
ローカル注記:
学内専用E-BOOKS (local access only)
オンライン
https://doi.org/10.1007/3-540-10235-3
所蔵情報
Loading availability information
子書誌情報
Loading
タイトルが類似している資料

類似資料:

1
 
2
 
3
 
4
 
5
 
6
 
7
 
8
 
9
 
10
 
11
 
12
 
1 電子ブック A Calculus of Communicating Systems

Milner, Robin, SpringerLink (Online service)

Springer-Verlag
7 電子ブック Database Systems of the 90s : International Symposium, Müggelsee, Berlin, FRG, November 5-7, 1990, Proceedings

Blaser, Albrecht., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
2 電子ブック Workflow Management Systems for Process Organisations

Schael, Thomas., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
8 電子ブック Information Systems and Artificial Intelligence: Integration Aspects : First Workshop, Ulm, FRG, March 19-21, 1990. Proceedings

Karagiannis, Dimitris., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
3 電子ブック Parallel, Distributed and Multiagent Production Systems

Ishida, Toru., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
9 図書 A calculus of communicating systems

Milner, Robin, 1934-

Springer-Verlag
4 電子ブック Model-Based Development and Evolution of Information Systems : A Quality Approach

Krogstie, John., SpringerLink (Online service)

Springer London : Imprint: Springer
10 電子ブック IS Olympics: Information Systems in a Diverse World : CAiSE Forum 2011, London, UK, June 20-24, 2011, Selected Extended Papers

Nurcan, Selmin., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
5 電子ブック Enabling Flexibility in Process-Aware Information Systems : Challenges, Methods, Technologies

Reichert, Manfred., Weber, Barbara., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
11 電子ブック Database and Expert Systems Applications : 5th International Conference, DEXA'94, Athens, Greece, September 7 - 9, 1994. Proceedings

Karagiannis, Dimitris., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
6 電子ブック Management of Telecommunication Systems and Services : Modelling and Implementing TMN-Based Multi-Domain Management

Hall, Jane., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer
12 電子ブック Information Systems and Data Management : 6th International Conference, CISMOD '95, Bombay, India, November 15-17, 1995. Proceedings

Bhalla, Subhash., SpringerLink (Online service)

Springer Berlin Heidelberg : Imprint: Springer