SCOPUS 정보 검색 플랫폼 - 논문 보기

메뉴 건너뛰기

Electronic Notes in Theoretical Computer Science

Volumn 211, Issue C, 2008, Pages 27-38

Exploiting User-definable Synchronizations in Graph Transformation

(1) Lanese, Ivan a

a UNIVERSITY OF BOLOGNA (Italy)

Author keywords

Graph transformation; mobility; synchronization algebras; Synchronized Hyperedge Replacement

Indexed keywords

ALGEBRA; GRAPH THEORY; MATHEMATICAL MODELS; SEMANTICS; SYNCHRONIZATION; USER INTERFACES;

GRAPH TRANSFORMATION; PARAMETRIC SYNCHRONIZED HYPEREDGE REPLACEMENT (PSHR); SYNCHRONIZATION MODELS;

MATHEMATICAL TRANSFORMATIONS;

EID: 42949156835 PISSN: 15710661 EISSN: None Source Type: Journal
DOI: 10.1016/j.entcs.2008.04.027 Document Type: Article

Times cited : (2)

References (14)

1
- 42949174717
- AGILE: Architectures for mobility. http://www.pst.informatik.uni-muenchen.de/projekte/agile/
- AGILE: Architectures for mobility

2
- 18544391503
- AGILE: Software architecture for mobility
- Proc. of WADT'02, Springer
- Andrade L.F., et al. AGILE: Software architecture for mobility. Proc. of WADT'02. LNCS volume 2755 (2002), Springer 1-33
- (2002) LNCS , vol.2755 , pp. 1-33
- Andrade, L.F.¹

3
- 16244386438
- Architecture description languages. http://www.sei.cmu.edu/architecture/adl.html
- Architecture description languages

4
- 23944464941
- Specifying and verifying UML activity diagrams via graph transformation
- Proc. of Global Computing 2004, Springer
- Baldan P., Corradini A., and Gadducci F. Specifying and verifying UML activity diagrams via graph transformation. Proc. of Global Computing 2004. LNCS volume 3267 (2004), Springer 18-33
- (2004) LNCS , vol.3267 , pp. 18-33
- Baldan, P.¹ Corradini, A.² Gadducci, F.³

5
- 35248859792
- Extending activity diagrams to model mobile systems
- Proc. of NetObjectDays'02, Springer
- Baumeister H., Koch N., Kosiuczenko P., and Wirsing M. Extending activity diagrams to model mobile systems. Proc. of NetObjectDays'02. LNCS volume 2591 (2002), Springer 278-293
- (2002) LNCS , vol.2591 , pp. 278-293
- Baumeister, H.¹ Koch, N.² Kosiuczenko, P.³ Wirsing, M.⁴

6
- 0023330655
- A model for distributed systems based on graph rewriting
- Degano P., and Montanari U. A model for distributed systems based on graph rewriting. Journal of the ACM 34 2 (1987) 411-449
- (1987) Journal of the ACM , vol.34 , Issue.2 , pp. 411-449
- Degano, P.¹ Montanari, U.²

7
- 85035052547
- Graph grammars: an algebraic approach
- IEEE
- Ehrig H., Pfender M., and Schneider H.J. Graph grammars: an algebraic approach. Proc. of SWAT '73 (1973), IEEE 167-180
- (1973) Proc. of SWAT '73 , pp. 167-180
- Ehrig, H.¹ Pfender, M.² Schneider, H.J.³

8
- 84962877678
- A LTS semantics of ambients via graph synchronization with mobility
- Proc. of ICTCS '01, Springer
- Ferrari G., Montanari U., and Tuosto E. A LTS semantics of ambients via graph synchronization with mobility. Proc. of ICTCS '01. LNCS volume 2202 (2001), Springer 1-16
- (2001) LNCS , vol.2202 , pp. 1-16
- Ferrari, G.¹ Montanari, U.² Tuosto, E.³

9
- 84944036119
- Synchronized hyperedge replacement with name mobility
- Proc. of CONCUR '01, Springer
- Hirsch D., and Montanari U. Synchronized hyperedge replacement with name mobility. Proc. of CONCUR '01. LNCS volume 2154 (2001), Springer
- (2001) LNCS , vol.2154
- Hirsch, D.¹ Montanari, U.²

10
- 42949115992
- I. Lanese. Synchronization strategies for global computing models. PhD thesis, Computer Science Department, University of Pisa, Pisa, Italy, 2006
- I. Lanese. Synchronization strategies for global computing models. PhD thesis, Computer Science Department, University of Pisa, Pisa, Italy, 2006

11
- 24344492989
- Synchronization algebras with mobility for graph transformations
- Proc. of FGUC'04 - Foundations of Global Ubiquitous Computing Elsevier
- Lanese I., and Montanari U. Synchronization algebras with mobility for graph transformations. Proc. of FGUC'04 - Foundations of Global Ubiquitous Computing. ENTCS 138 (2004) 43-60 Elsevier
- (2004) ENTCS , vol.138 , pp. 43-60
- Lanese, I.¹ Montanari, U.²

12
- 24644497326
- Synchronized hyperedge replacement for heterogeneous systems
- Proc. of COORDINATION 2005, Springer
- Lanese I., and Tuosto E. Synchronized hyperedge replacement for heterogeneous systems. Proc. of COORDINATION 2005. LNCS volume 3454 (2005), Springer 220-235
- (2005) LNCS , vol.3454 , pp. 220-235
- Lanese, I.¹ Tuosto, E.²

13
- 0003547470
- Addison Wesley
- Rumbaugh J., Jacobson I., and Book G. The Unified Modeling Language Reference Manual (1999), Addison Wesley
- (1999) The Unified Modeling Language Reference Manual
- Rumbaugh, J.¹ Jacobson, I.² Book, G.³

14
- 0020847954
- Synchronization trees
- Winskel G. Synchronization trees. TCS 34 (1984) 33-82
- (1984) TCS , vol.34 , pp. 33-82
- Winskel, G.¹

* 이 정보는 Elsevier사의 SCOPUS DB에서 KISTI가 분석하여 추출한 것입니다.