D. Hirsch and U. Montanari. A graphical calculus for name mobility. In Proc. Workshop on Software Engineering and Mobility, 2001. Co-located with ICSE 2001, Toronto. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
Appligraph: Applications of Graph Transformation - Fourth.. - Kreowski, (eds.) (2001) (Correct)
....ports of communication) and synchronization is achieved using constraint solving over the productions of the style grammar. In this way complex evolutions can be speci ed in a more expressive and compact form than using calculus style languages for mobility. A related approach is presented in [HM01], where synchronization is modeled directly in the graph transformation formalism, by using Synchronized Hyperedge Replacement Systems. The capability of creation and sharing of ports together with multiple simultaneous synchronizations provides a very powerful tool to specify more complex ....
D. Hirsch and U. Montanari. A graphical calculus for name mobility. In Proc. Workshop on Software Engineering and Mobility,
Appligraph: Applications of Graph Transformation - Final Report - Kreowski, (eds.) (2002) (Correct)
No context found.
D. Hirsch and U. Montanari. A graphical calculus for name mobility. In Proc. Workshop on Software Engineering and Mobility, 2001. Co-located with ICSE 2001, Toronto.
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