On Optimization in Composition of Concurrent Formal Specifications(<Special Section>Concurrent Systems and Hybrid Systems)
スポンサーリンク
概要
- 論文の詳細を見る
LOTOS parallel operator, which is a binary operator, is used to combine processes in order to express their concurrency. Unlike other LOTOS operators, various possibilities exist when combining processes by the parallel operator. If two processes are selected randomly for combining, the size of the composite intermediate process after combining may be large. In this paper, we propose an algorithm for selecting two processes out of three or more processes so that the size of the intermediate process is the smallest when combined by the parallel operator. Smaller size of an intermediate process means it takes less memory space which is very important in designing verification tools for systems or communication protocols specified in LOTOS.
- 2004-11-01
著者
関連論文
- On Optimization in Composition of Concurrent Formal Specifications(Concurrent Systems and Hybrid Systems)
- On Constructing n-Entities Communication Protocol and Service with Alternative and Concurrent Functions(Special Section on Concurrent System Technology and Its Application to Multiple Agent Systems)