The search functionality is under construction.
The search functionality is under construction.

Author Search Result

[Author] Monika KAPUS-KOLAR(1hit)

1-1hit
  • Compositional Service-Based Construction of Multi-Party Time-Sharing-Based Protocols

    Monika KAPUS-KOLAR  

     
    PAPER-Concurrent Systems

      Vol:
    E86-A No:9
      Page(s):
    2405-2412

    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.