Petri nets: an introduction
Actors: a model of concurrent computation in distributed systems
Actors: a model of concurrent computation in distributed systems
Communications of the ACM
Conditional rewriting logic as a unified model of concurrency
Selected papers of the Second Workshop on Concurrency and compositionality
Specifying concurrent languages and systems with &Dgr;-GRAMMARS
Research directions in concurrent object-oriented programming
Algebraic approaches to graph transformation. Part I: basic concepts and double pushout approach
Handbook of graph grammars and computing by graph transformation
Communication and Concurrency
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Estelle: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Formal Description Technique Lotos: Results of the Esprit Sedos Project
Describing Software Architecture Styles Using Graph Grammars
IEEE Transactions on Software Engineering
Proceedings of the First International Conference on Coordination Languages and Models
COORDINATION '96 Proceedings of the First International Conference on Coordination Languages and Models
Proceedings of the IFIP TC6 Eighth International Conference on Formal Description Techniques VIII
Research Directions in High-Level Parallel Programming Languages
Proceedings of the IFIP TC6/WG6.1 Third International Conference on Formal Methods for Open Object-Based Distributed Systems (FMOODS)
Attributed graph grammars for graphics
Proceedings of the 2nd International Workshop on Graph-Grammars and Their Application to Computer Science
Hi-index | 0.00 |
This paper proposes an original integrated approach allowing coordination rules to be described for resource allocation in Distributed Multimedia Applications. Our approach has two major benefits. On the one hand, it allows the scalability and the dynamicity required for today's distributed systems. On the other hand, rather than bringing a new formalism and rather than making a dialect of an existing formal language we work on how two existing description techniques may be integrated to compositionally describe the whole system. An implementation of our approach is presented.