Communicating and mobile systems: the &pgr;-calculus
Communicating and mobile systems: the &pgr;-calculus
Principles of Program Analysis
Principles of Program Analysis
Dependency Analysis of Mobile Systems
ESOP '02 Proceedings of the 11th European Symposium on Programming Languages and Systems
Nordic Journal of Computing
ARES '06 Proceedings of the First International Conference on Availability, Reliability and Security
Static validation of security protocols
Journal of Computer Security
A calculus for orchestration of web services
ESOP'07 Proceedings of the 16th European conference on Programming
SOCK: a calculus for service oriented computing
ICSOC'06 Proceedings of the 4th international conference on Service-Oriented Computing
SCC: a service centered calculus
WS-FM'06 Proceedings of the Third international conference on Web Services and Formal Methods
Relational Analysis of Correlation
SAS '08 Proceedings of the 15th international symposium on Static Analysis
SENSORIA results applied to the case studies
Rigorous software engineering for service-oriented systems
Flow Logic for Process Calculi
ACM Computing Surveys (CSUR)
Hi-index | 0.00 |
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.