1 citations · 1 across the 2 of their papers we have counts for
2 papers
cs.LO2007
Unicast and Multicast Qos Routing with Soft Constraint Logic Programming
Stefano Bistarelli, Ugo Montanari, Francesca Rossi +1
We present a formal model to represent and solve the unicast/multicast routing problem in networks with Quality of Service (QoS) requirements. To attain this, first we translate th…
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…