D. Nowak, J.-P. Talpin, P. Le Guernic. Synchronous structures. International Conference on Concurrency Theory. Lectures Notes in Computer Science. Springer Verlag, 1999.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....represent a new approach to design and development of concurrent systems. Their purpose is to separate computing concerns from those activities that deal with the structure of an application (communication mechanisms, protocols, system configurations, etc. called coordination activities [19, 27]. The interest in coordination has intensified in the last few years, as evidenced by the increasing number of conferences, tracks, and papers devoted to this topic, and by the recent upsurge of research activity in the theoretical computer science community in this field. Furthermore, the field ....

Garlan, D., and Le M etayer, D., Eds. 2nd Int. Conf. on Coordination Languages and Models, vol. 1282 of Lecture Notes in Computer Science. Springer-Verlag, September 1997.

....1 Corresponding author. E mail: marcello cs.leidenuniv.nl Preprint submitted to Elsevier Science 15 October concerns from those activities that deal with the structure of an application (communication mechanisms, protocols, system configurations, etc. called coordination activities [19,27]. The interest in coordination has intensified in the last few years, as evidenced by the increasing number of conferences, tracks, and papers devoted to this topic, and by the recent upsurge of research activity in the theoretical computer science community in this field. Furthermore, the field ....

Garlan, D., and Le M' etayer, D., Eds. 2nd Int. Conf. on Coordination Languages and Models, vol. 1282 of Lecture Notes in Computer Science. Springer-Verlag, September 1997.

....procedures to implement them. On one hand, and from a theoretical perspective, correspondences between the synchronous and asynchronous theories of concurrency have been studied in the context of the theory of Ccs [16] of the Sproc and Asproc interaction categories [1] of synchronous structures [21]. On the other hand, numerous models and concepts have been proposed to reason on calculi of mobile processes. One is the notion of action structure [17] which provides a category theoretic model for the calculus. Another is the general concept of concurrent constraints [22,25] which consists ....

D. Nowak, J.-P. Talpin, P. Le Guernic. Synchronous structures. International Conference on Concurrency Theory. Lectures Notes in Computer Science. Springer Verlag, 1999.

....procedures to implement them. On one hand, and from a theoretical perspective, correspondences between the synchronous and asynchronous theories of concurrency have been studied in the context of the theory of Ccs [16] of the Sproc and Asproc interaction categories [1] of synchronous structures [21]. On the other hand, numerous models and concepts have been proposed to reason on calculi of mobile processes. One is the notion of action structure [17] which provides a category theoretic model for the calculus. Another is the general concept of concurrent constraints [22,25] which consists ....

D. Nowak, J.-P. Talpin, P. Le Guernic. Synchronous structures. International Conference on Concurrency Theory. Lectures Notes in Computer Science. Springer Verlag, 1999.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC