CONCUR '91 : 2nd International Conference on Concurrency Theory, Amsterdam, The Netherlands, August 26-29, 1991. Proceedings. 1st ed. 1991
- 種類:
- 電子ブック
- 責任表示:
- edited by Jos C.M. Baeten, Jan F. Groote
- 出版情報:
- Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 1991
- 著者名:
- シリーズ名:
- Lecture Notes in Computer Science ; 527
- ISBN:
- 9783540383574 [3540383573]
- 注記:
- Formal techniques for parallel object-oriented languages -- Causal models for rational algebraic processes -- Action and state-based logics for process algebras -- A tool set for deciding behavioral equivalences -- Causality based models for the design of concurrent systems -- Modal logics for mobile processes -- Towards a design calculus for communicating programs -- A theory of testing for ACP -- Real space process algebra -- The failure of failures in a paradigm for asynchronous communication -- Embedding as a tool for language comparison: On the CSP hierarchy -- A conditional operator for CCS -- Algebraic formulations of trace theory -- Compositional synthesis of live and bounded free choice Petri nets -- The observation algebra of spatial pomsets -- Synchrony loosening transformations for interacting processes -- A compositional model for layered distributed systems -- Process algebra with guards -- Model checking and modular verification -- Geometric logic, causality and event structures -- Extended Hor
CONCUR'91 is the second international conference on concurrency theory, organized in association with the NFI project Transfer. It is a sequel to the CONCUR'90 conference. Its basic aim is to communicate ongoing work in concurrency theory. This proceedings volume contains 30 papers selected for presentation at the conference (from 71 submitted) together with four invited papers and abstracts of the other invited papers. The papers are organized into sections on process algebras, logics and model checking, applications and specification languages, models and net theory, design and real-time, tools and probabilities, and programming languages. The proceedings of CONCUR'90 are available asVolume 458 of Lecture Notes in Computer Science. - ローカル注記:
- 学内専用E-BOOKS (local access only)
類似資料:
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer | |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
|
Springer Berlin Heidelberg : Imprint: Springer |
Springer Berlin Heidelberg : Imprint: Springer |
