2 search results - page 1 / 1 » D-Fusion: A Distinctive Fusion Calculus |
62
Voted
APLAS
2004
ACM
15 years 3 months ago
2004
ACM
Abstract. Fusion calculus is commonly regarded as a generalisation of pi. Actually, we prove that there is no uniform fully abstract embedding
59
Voted
ENTCS
2007
14 years 10 months ago
2007
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...