Sciweavers

1357 search results - page 57 / 272
» Compositionality in Graph Transformation
Sort
View
67
Voted
CORR
2009
Springer
62views Education» more  CORR 2009»
15 years 12 days ago
Towards an embedding of Graph Transformation in Intuitionistic Linear Logic
Paolo Torrini, Reiko Heckel
112
Voted
CORR
2009
Springer
80views Education» more  CORR 2009»
15 years 12 days ago
Resource-Bound Quantification for Graph Transformation
Paolo Torrini, Reiko Heckel
119
Voted
ECEASST
2010
14 years 12 months ago
Checking Graph-Transformation Systems for Confluence
d Abstract) Detlef Plump Abstract. In general, it is undecidable whether a terminating graphtransformation system is confluent or not. We introduce the class of coverable hypergrap...
Detlef Plump
76
Voted
ECEASST
2010
14 years 12 months ago
Stochastic Graph Transformation with Regions
Paolo Torrini, Reiko Heckel, István R&aacut...