Software Defined Networking (SDN) has been proposed as a drastic shift in the networking
paradigm, by decoupling network control from the data plane and making the switching …

Cyber Physical Systems (CPS) require a multitude of components interacting among
themselves and with the users to perform automatic actions, usually under unpredictable or …

Commitments provide a flexible means for specifying the business relationships among
autonomous and heterogeneous agents, and lead to a natural way of enacting such …

Many real-world applications of multiagent systems require independently designed
(heterogeneous) and operated (autonomous) agents to interoperate. We consider agents …

Constraint Handling Rules (CHR) is a high-level programming language based on
multiheaded multiset rewrite rules. Originally designed for writing user-defined constraint …

Ever since the seminal work of Searle, two components of interaction protocols have been
identified: constitutive rules, defining the meaning of actions and regulative rules, defining …

The aim of 'programming the global computer'was identified by Milner and others as one of
the grand challenges of computing research. At the time this phrase was coined, it was …

We refine CTLC, a temporal logic of social commitments that extends CTL to allow
reasoning about commitments agents create when communicating and their fulfillment. We …

In this paper we develop a logical framework for specifying and verifying systems of
communicating agents and interaction protocols. The framework is based on Dynamic …

An important issue, in open environments like the web, is guaranteeing the interoperability
of a set of services. When the interaction scheme that the services should follow is given (eg …