An integrated approach to coordination description in distributed multimedia applications
暂无分享,去创建一个
[1] Simon M. Kaplan,et al. Specifying Concurrent Languages and Systems with ???-Grammars , 1993, Graph-Grammars and Their Application to Computer Science.
[2] Herbert Göttler,et al. Attributed graph grammars for graphics , 1982, Graph-Grammars and Their Application to Computer Science.
[3] Narciso Martí-Oliet,et al. Maude: specification and programming in rewriting logic , 2002, Theor. Comput. Sci..
[4] Robert E. Milne,et al. The formal description technique LOTOS : By P.H.J. van Eijk, C.A. Vissers and M. Diaz, eds. North-Holland, Amsterdam, Netherlands, 1989, Price $102.50 (hardback), ISBN 0-444-87267-1. , 1990 .
[5] Chris Hankin,et al. Coordinatio Languages and Models , 2002, Lecture Notes in Computer Science.
[6] Wolfgang Reisig. Petri Nets: An Introduction , 1985, EATCS Monographs on Theoretical Computer Science.
[7] Gul A. Agha,et al. ACTORS - a model of concurrent computation in distributed systems , 1985, MIT Press series in artificial intelligence.
[8] David Gelernter,et al. Generative communication in Linda , 1985, TOPL.
[9] Dieter Hogrefe,et al. SDL : formal object-oriented language for communicating systems , 1997 .
[10] Nicholas Carriero,et al. Linda in context , 1989, CACM.
[11] José Meseguer,et al. Conditioned Rewriting Logic as a United Model of Concurrency , 1992, Theor. Comput. Sci..
[12] José Meseguer,et al. Reflection and strategies in rewriting logic , 1996, WRLA.
[13] Khalil Drira,et al. Design and implementation of coordination protocols for distributed cooperating objects: A general graph-based technique applied to CORBA , 1999, FMOODS.
[14] Daniel Le Métayer,et al. Reasearch Directions in High-Level Parallel Programming Languages , 1991, Lecture Notes in Computer Science.
[15] Robert E. Milne,et al. The formal description technique Estelle : J.P. Diaz, J.P. Ansart, J.P. Courtiat, P. Azema and V. Chari, eds. North-Holland, Amsterdam, Netherlands, 1989, Prince $102.50 (hardback), ISBN 0-444-87132-2. , 1990 .
[16] Michel Diaz,et al. Formal Description Technique Estelle: Results of the Esprit Sedos Project , 1989 .
[17] Daniel Le Métayer. Describing Software Architecture Styles Using Graph Grammars , 1998, IEEE Trans. Software Eng..