No label defined (Q4389322)

The language sC++ is an extension of C++ including a new approach called \textit{active object.} An active object is an usual object containing a special private method called \textit{corps}, which is executed in parallel with the main program and the corpses of other active objects. Usually, a corps has an infinite loop containing accept and select instructions for synchronization. The new concepts of sC++ are introduced in Chapter 1. A great number of applications are presented in Chapter 2, including some human-computer interfaces, the simulation of transmission channels, the implementation of finite automata by active objects, data flow protocols and so on. The third chapter compares the sC++ primitives with similar constructions provided by languages like Java, Ada, SDL, ESTELLE. Chapter 4 is devoted to the theory of CCS (Calculus of Communicating Systems) considered as a mathematical model for sC++ synchronization. Chapter 5 illustrates how CCS concepts are applied to simplify and increase the reliability of some significant interactive applications like the alternating bit protocol and the dining philosophers problem. The book is particularly useful for anyone interested in modeling the parallel computation and may be used as a course support.