Concur 2012 - concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle Upon Tyne, UK, September 4-7 2012, proceedings
著者
書誌事項
Concur 2012 - concurrency theory : 23rd International Conference, CONCUR 2012, Newcastle Upon Tyne, UK, September 4-7 2012, proceedings
（Lecture notes in computer science, 7454 . Advanced research in computing and software science）
Springer, c2012
- : pbk.
- タイトル別名
-
CONCUR 2012
大学図書館所蔵 件 / 全1件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
注記
Includes bibliographical references and author index
Also issued online
内容説明・目次
内容説明
This book constitutes the thoroughly refereed proceedings of the 23rd International Conference on Concurrency Theory, CONCUR 2012, held in Newcastle upon Tyne, UK, September 4-7, 2012. The 35 revised full papers presented together with 4 invited talks were carefully reviewed and selected from 97 submissions. The papers are organized in topics such as reachability analysis; qualitative and timed systems; behavioural equivalences; temporal logics; session types; abstraction; mobility and space in process algebras; stochastic systems; probabilistic systems; Petri nets and non-sequential semantics; verification; decidability.
目次
- Reachability analysis.-qualitative and timed systems.-behavioural equivalences.-temporal logics.-session types.- abstraction.- mobility and space in process algebra.-stochastic systems.-probabilistic systems.- Petri nets and non-sequential semantics.-verification
- decidability.
「Nielsen BookData」 より
