10 citations · 11 across the 2 of their papers we have counts for
2 papers
cs.PL2014★ 10 cited
Dynamic Choreographies - Safe Runtime Updates of Distributed Applications
Mila Dalla Preda, Maurizio Gabbrielli, Saverio Giallorenzo +2
Programming distributed applications free from communication deadlocks and races is complex. Preserving these properties when applications are updated at runtime is even harder. We…
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…