The advent of multicore architecture stands to transform cloud computing in terms of
scalability, robustness, and privacy. Social systems offer promising metaphors to address …

Service computing is a cross-disciplinary field that covers science and technology, and
represents a promising direction for distributed computing and software development …

Social commitments have been extensively and effectively used to represent and model
business contracts among autonomous agents having competing objectives in a variety of …

Though modeling and verifying Multi-Agent Systems (MASs) have long been under study,
there are still challenges when many different aspects need to be considered …

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 …

Although several approaches have been proposed to specify multi-agent commitment-
based protocols that capture flexible and rich interactions among autonomous and …

While modeling interactions using social commitments provides a fundamental basis for
capturing flexible and declarative interactions and helps in addressing the challenge of …

Social commitments have been widely studied to represent business contracts among
agents with different competing objectives in communicating multi-agent systems. However …

Using model checking to verify that interaction protocols have given properties is widely
recognized as an important issue in multi-agent systems where autonomous and …

Both knowledge and social commitments have received considerable attention in Multi-
Agent Systems (MASs), specially for multi-agent communication. Plenty of work has been …