Process algebras are suitable for describing networks of communicating processes. In most
process algebras, the description of such networks is achieved using parallel composition …

This paper introduces a new synchronization model for the formal specification of
multimedia documents. By this approach, an user is able to formalize his document by …

In this paper we present a process algebra for the management of resources in concurrent
systems. Our aim is to define a formal framework that can help in the task of specifying …

In this paper we present an algorithm for the decomposition of processes in a process
algebraic framework. Decomposition, or the refinement of process substructure, is an …

Process algebras are often advocated as suitable formalisms for the speci cation of
telecommunication protocols and distributed systems. However, despite their mathematical …

In this paper, we propose to conservatively extend object-oriented decomposition by letting it
affect also operations (methods). Different objects may support different parts of the same …

LOTOS NT User Manual Page 1 LOTOS NT User Manual Mihaela Sighireanu Release 2.0 |
February 29, 2000 Page 2 Page 3 Foreword The present User Manual of Lotos NT language …

We present an approach for the efficient approximation of the throughput of decision free
processes, a class of stochastic process algebra models. Stochastic process algebras are …

A first-order modal logic is given for describing properties of processes which may send and
receive values or messages along communication ports. We give two methods for proving …

Les algèbres de processus sont un formalisme mathématique pour la description et l'étude
des systèmes concurrents. Dans cet article, nous expliquons pourquoi les concepts …