This paper introduces Lazy Transitions Systems (LzTSs). The notion of laziness explicitly distinguishes between the enabling and the firing of an event in a transition system. LzT...
Jordi Cortadella, Michael Kishinevsky, Alex Kondra...
In this paper we propose a process algebra named CCB (a Calculus of Countable Broadcasting Systems). We define an observational congruence relation in CCB after basic definitions...
This paper addresses a spoken dialogue framework that helps users make decisions. Various decision criteria are involved when we select an alternative from a given set of alternati...
Teruhisa Misu, Chiori Hori, Kiyonori Ohtake, Hidek...
—In order to simulate biological processes, we use multi-agents system. However, modelling cell behavior in systems biology is complex and may be based on intracellular biochemic...
Vincent Rodin, Gabriel Querrec, Pascal Ballet, Fra...
Aspect-oriented mechanisms have been widely exploited at the programming-level. Nevertheless, little has been achieved at the architectural level, and this despite the potential b...