most citedMapping Fusion and Synchronized Hyperedge Replacement into Logic Programming

1 citations · 1 across the 1 of their papers we have counts for

collaborators

1 paper

cs.LO2005★ 1 cited

Mapping Fusion and Synchronized Hyperedge Replacement into Logic Programming

Ivan Lanese, Ugo Montanari

In this paper we compare three different formalisms that can be used in the area of models for distributed, concurrent and mobile systems. In particular we analyze the relationship…