Towards a Unified Framework for Declarative Structured Communications 英文论文文献.docVIP

Towards a Uni?ed Framework for Declarative Structured Communications Hugo A. L′opez IT University of Copenhagen lopez@itu.dk Carlos Olarte Ecole′ Polytechnique Universidad Javeriana Cali Jorge A. P′erez University of Bologna perez@cs.unibo.it colarte@lix.polytechnique.fr We present a uni?ed frameworkfor the declarativeanalysis of structured communications. By relying on a (timed) concurrent constraint programming language, we show that in addition to the usual operational techniques from process calculi, the analysis of structured communications can elegantly exploit logic-based re