Process Composition and Interleave Reduction in Parallel Process Specification
スポンサーリンク
概要
- 論文の詳細を見る
In formal specification languages for parallel processes, such as CSP and LOTOS, algebraic laws for basic operators are provided that can be used to transform process expressions, and in particular, composition of processes can be calculated using these laws. Process composition can be used to simplify and improve the specification, and also to prove properties of the specification such as deadlock absence. We here test the practicality of process composition using CSP and suggest useful techniques, working in an example with nontrivial size and complexity. We emphasize that the size explosion of composed processes, caused by interleaving of the events of component processes, is a serious problem. Then we propose a technique, which we name two-way pipe, that can be used to reduce the size of the composed process, regarded as a program optimization at specification level.
- 一般社団法人電子情報通信学会の論文
- 1995-01-25
著者
-
Hikita Teruo
Department Of Computer Science School Of Science And Technology Meiji University
-
GINBAYASHI Jun
Makuhari System Laboratory, Fujitsu Limited
-
Tsujigado Makoto
Faculty of Engineering, Kogakuin University
-
Hikita Teruo
School of Science and Technology, Meiji University
-
Ginbayashi Jun
FUJITSU LIMITED
-
Ginbayashi Jun
Makuhari System Laboratory Fujitsu Limited
-
Tsujigado Makoto
Department Of Computer Science And Communication Engineering Faculty Of Engineering Kogakuin Univers
関連論文
- Pipeline patterns generated in process algebra
- Process Composition and Interleave Reduction in Parallel Process Specification
- On the Average Size of Turner's Translation to Combinator Programs