-
2
-
-
0030173077
-
-
Corradini, A., Montanari, U. and Rossi, F. Graph processes, Fundamentae Informática, vol. 26, no. 3-4, 1996, pp. 241-265.
-
(1996)
Graph Processes, Fundamentae Informática
, vol.26
, Issue.3-4
, pp. 241-265
-
-
Corradini, A.1
Montanari, U.2
Rossi, F.3
-
3
-
-
84868291832
-
Specification of mobile code systems using graph grammars
-
In S. Smith and C. Talcott, editors, Kluwer Academic Publishers
-
Dotti, F. and Ribeiro, L., Specification of mobile code systems using graph grammars. In S. Smith and C. Talcott, editors, Formal Methods for Open Object-based Systems IV, pages 45-64. Kluwer Academic Publishers, 2000.
-
(2000)
Formal Methods For Open Object-based Systems IV
, pp. 45-64
-
-
Dotti, F.1
Ribeiro, L.2
-
4
-
-
0004063990
-
-
editors, World Scientific
-
H. Ehrig, G. Engels, H.-J. Kreowski, and G. Rozenberg, editors, Handbook of Graph Grammars and Computing by Graph Transformation, Volume 2: Applications, Languages and Tools, World Scientific, 1999.
-
(1999)
Handbook of Graph Grammars and Computing By Graph Transformation, Volume 2: Applications, Languages and Tools
-
-
Ehrig, H.1
Engels, G.2
Kreowski, H.-J.3
Rozenberg, G.4
-
5
-
-
85035052547
-
Graph grammars: An algebraic ap-proach
-
H. Ehrig, M. Pfender and H. Schneider, Graph grammars: an algebraic ap-proach, Proc. IEEE Conference SWAT 73, 1973, pp. 167-180.
-
(1973)
Proc. IEEE Conference SWAT
, vol.73
, pp. 167-180
-
-
Ehrig, H.1
Pfender, M.2
Schneider, H.3
-
6
-
-
0000145484
-
Corradini, Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach
-
World Scientific
-
H. Ehrig, R. Heckel, M. Korff, M. Lowe, L. Ribeiro, A. Wagner and A. Corradini, Algebraic approaches to graph transformation II: Single pushout approach and comparison with double pushout approach, in The Handbook of Graph Grammars, vol. 1: Foundations, World Scientific, 1997, pp. 247-312.
-
(1997)
The Handbook of Graph Grammars, Vol. 1: Foundations
, pp. 247-312
-
-
Ehrig, H.1
Heckel, R.2
Korff, M.3
Lowe, M.4
Ribeiro, L.5
Wagner, A.6
-
8
-
-
0010225535
-
Decidability and Complexity of Petri Net Problems-An Introduction
-
Springer
-
J. Esparza, Decidability and Complexity of Petri Net Problems-An Introduction, Lecture Notes in Computer Science 1491, Springer, 1998, pp. 376-428.
-
(1998)
Lecture Notes In Computer Science
, vol.1491
, pp. 376-428
-
-
Esparza, J.1
-
11
-
-
21344471591
-
Formal relationships between graph grammars and Petri nets
-
Springer
-
Korff, M. and Ribeiro, L., Formal relationships between graph grammars and Petri nets, Lecture Notes in Computer Science 1073, Springer, 1996, pp. 288-303.
-
(1996)
Lecture Notes In Computer Science
, vol.1073
, pp. 288-303
-
-
Korff, M.1
Ribeiro, L.2
-
13
-
-
0002274099
-
-
Term Graph Rewriting: Theory and Practice, John Wiley & Sons
-
M. Lówe, M. Korff and A. Wagner, An algebraic framework for the transformation of attributed graphs, Term Graph Rewriting: Theory and Practice, John Wiley & Sons, 1993, pp. 185-199.
-
(1993)
An Algebraic Framework For the Transformation of Attributed Graphs
, pp. 185-199
-
-
Lówe, M.1
Korff, M.2
Wagner, A.3
-
14
-
-
84891097714
-
Complexity Analysis of Reactive Graph Grammars
-
Porto Alegre, Instituto de Informtica, UFRGS
-
A. Loreto, L. Ribeiro and L. Toscani, Complexity Analysis of Reactive Graph Grammars, Revista de Informtica Terica e Aplicada, vol. VII(2000). Porto Alegre, Instituto de Informtica, UFRGS, pp. 109-128.
-
(2000)
Revista De Informtica Terica E Aplicada
, vol.7
, pp. 109-128
-
-
Loreto, A.1
Ribeiro, L.2
Toscani, L.3
-
15
-
-
0027558267
-
Algebraic approach to single-pushout graph transformation
-
M. Lowe, Algebraic approach to single-pushout graph transformation, Theoretical computer Science, vol. 109, 1993, 181-224.
-
(1993)
Theoretical Computer Science
, vol.109
, pp. 181-224
-
-
Lowe, M.1
|