In this paper, we give an efficient algorithm to determine whether a locally stable predicate has become true in an underlying computation. Examples of locally stable predicates in...
In the Mobile Ambients of Cardelli and Gordon an ambient is a unit for mobility, which may contain processes (data) and sub-ambients. Since the seminal work of Cardelli and Gordon...
Gian Luigi Ferrari, Eugenio Moggi, Rosario Puglies...
In lamprey, the supraspinal control of velocity is mainly accomplished by the reticulospinal (RS) system. During locomotion, RS neurones are rhythmically active with a cycle durat...
This paper considers a matrix-based discrete event control approach for a warehouse. The control system is organized in two modules: a dynamic model and a controller. The model pro...
Vincenzo Giordano, Jing Bing Zhang, David Naso, Fr...
A major paradigm of modeling the decision making of autonomous agents is through behavior-based network models. The network consists of distributed behaviors that compete (or coop...