Many novel application scenarios and architectures in business process management or
service composition are characterized by a distribution of activities and resources, and by …

Multiagent social commitments provide a principled basis for agent interactions, and serve
as a natural tool to resolve design ambiguities. Indeed, they have been the subject of …

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS)
using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This is …

This paper presents a Runtime Verification (RV) approach for Multi-Agent Systems (MAS)
using the JaCaMo framework. Our objective is to bring a layer of security to the MAS. This …

When applying formal verification to a system that interacts with the real world we must use a
model of the environment. This model represents an abstraction of the actual environment …

Global session types are behavioral types designed for specifying in a compact way
multiparty interactions between distributed components, and verifying their correctness. We …

Runtime commitment verification is an important, open issue in multiagent research. To
address it, we build on Yolum and Singh's formalization of commitment operations, on …

When applying formal verification to a system that interacts with the real world, we must use
a model of the environment. This model represents an abstraction of the actual environment …

The Internet and the services delivered via it are increasingly centralised on a few
monopolistic platforms. Today's web frameworks are conceived to cater for increasing …

The concept of a norm is found widely across fields including artificial intelligence, biology,
computer security, cultural studies, economics, law, organizational behaviour and …