Copyright Information
The documents distributed by this server have been provided by the contributing authors as a means to ensure timely dissemination of
scholarly and technical work on a noncommercial basis. Copyright and all rights therein are maintained by the authors or by other
copyright holders, notwithstanding that they have offered their works here electronically. It is understood that all persons copying
this information will adhere to the terms and constraints invoked by each author's copyright. These works may not be reposted without
the explicit permission of the copyright holder.
Sensoria Bibliography Site Relational Analysis for Delivery of Services
Flemming Nielson, Hanne Riis Nielson, Jörg Bauer, Henrik Pilegaard, Christoffer Rosenkilde Nielsen
abstract:
Many techniques exist for statically computing properties of the evolution
of processes expressed in process algebras. Static analysis has shown how to
obtain useful results that can both be checked and computed in polynomial
time. In this paper we develop a static analysis in relational form which
substantially improves the precision of the results obtained while being
able to deal with the full generality of the syntax of processes.
The analysis reveals a feasible complexity for practical examples and gives
rise to a fast prototype. We use this prototype to automatically
prove the correct delivery of messages for the
implementation of an accident service, which is based on
multiplexed communication, a crucial feature of global computing applications.
