Agents are becoming increasingly common as a means of structuring interactive systems, due to the highly complex and concurrent nature of modern systems. The manner in which interaction between these agents is specified is of fundamental importance, and must pay heed to expressivity and reuse concerns. There are also concerns specific to interactive systems, and in particular the need to specif...

the asymptotic behaviour of the sequence with general term $p_n=(varphi(1)+varphi(2)+cdots+varphi(n))/(1+2+cdots+n)$, is studied which appears in the studying of coprime integers, and an explicit bound for the difference $p_n-6/pi^2$ is found.

Constructing rigorous models for analysing the behaviour of concurrent and distributed systems is a complex task that requires expertise in formal languages and their semantics. Our aim is to support the construction of behaviour models. In this paper we combine a scenario synthesis approach with an architecture description language to automatically build behaviour models. The scenario synthesi...

In highly regulated environments, where a set of norms defines accepted behaviour, protocols provide a way to reduce complexity by giving direct, step by step guidelines for behaviour, as long as the protocols comply with the norms. In this work we propose a formal framework to design a protocol from a normative specification. In order to be able to connect (descriptive) norms with (operational...