Abstract. Theories defined in a process model are formalized and studied. A theory in a process calculus is a set of perpetually available processes with finite interactability, ea...
Over the past decade, automated systems dedicated to geopositioning have been the object of considerable development. Despite the success of these systems for many applications, th...
Jean-Marie Le Yaouanc, Eric Saux, Christophe Clara...
The weakly coupled WKB system captures high frequency wave dynamics in many applications. For such a system a level set method framework has been recently developed to compute mult...
In this chapter we take a look at the application of replication techniques for building scalable distributed systems. Unlike using replication for attaining dependability, replica...
— Two coupled logistic maps whose parameters are forced into periodic varying are investigated. From the investigation of bifurcation in this system, nonexistence of odd periodic...