Towards a Unified Framework for Declarative Structured Communications

We present a unified framework for the declarative analysis 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 exp...

Full description

Bibliographic Details

Published in:	arXiv.org
Main Authors:	López, Hugo A, Olarte, Carlos, Pérez, Jorge A
Format:	Paper
Language:	English
Published:	Ithaca Cornell University Library, arXiv.org 04.02.2010
Subjects:	Constraint modelling Human communication Programming languages Reasoning Temporal logic
ISSN:	2331-8422
Online Access:	Get full text
Tags:	Add Tag No Tags, Be the first to tag this record!