Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols(Concurrent Systems)

スポンサーリンク

概要

• 論文の詳細を見る

• Distributed execution of a service often means that various places compete for the right to progress. If they exchange the right by explicit communication, there is a continuous flow of protocol messages. If the maximum transit delay of the communication medium is short, a better solution is to restrict progress of places to their individual time windows. The paper describes how to derive such time-sharing-based multi-party protocols for well-formed services specified in LOTOS/T+. The method is compositional with respect to the structure of the given service specification, supporting alternative, sequential, interrupt and parallel composition of services.

• 社団法人電子情報通信学会の論文
• 2003-09-01

著者

• Kapus-kolar Monika

  Jozef Stefan Institute

関連論文

• Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols(Concurrent Systems)

スポンサーリンク