Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free synchronising graphs and a novel notion of bisimulation equivalence which is shown to be a congruence with respect to graph composition and node restriction. We use this notion of equivalence to study some sample network applications, and show that our bisimulation equivalence captures notions like functional equivalence of logical switches, equivalence of channel implementations and level of fault tolerance of a network.
Network Applications of Graph Bisimulation / Cenciarelli, Pietro; Gorla, Daniele; E., Tuosto. - LNCS 5214:(2008), pp. 131-146. (Intervento presentato al convegno 4th International Conference on Graph Transformation tenutosi a Leicester (UK) nel 7-13 Settembre 2008) [10.1007/978-3-540-87405-8_10].
Network Applications of Graph Bisimulation
CENCIARELLI, Pietro;GORLA, DANIELE;
2008
Abstract
Synchronising Graphs is a system of parallel graph transformation designed for modeling process interaction in a network environment. We propose a theory of context-free synchronising graphs and a novel notion of bisimulation equivalence which is shown to be a congruence with respect to graph composition and node restriction. We use this notion of equivalence to study some sample network applications, and show that our bisimulation equivalence captures notions like functional equivalence of logical switches, equivalence of channel implementations and level of fault tolerance of a network.I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
