Modelling Calculi with Name Mobility using Graphs with Equivalences
Work
Year: 2007
Type: article
Abstract: In the theory of graph rewriting, the use of coalescing rules, i.e., of rules which besides deleting and generating graph items, can coalesce some parts of the graph, turns out to be quite useful for ... more
Institutions Ca' Foscari University of Venice, University of Pisa
Cites: 20
Cited by: 4
Related to: 10
FWCI: 1.27
Citation percentile (by year/subfield): 73.79
Subfield: Artificial Intelligence
Field: Computer Science
Domain: Physical Sciences
Open Access status: gold