approaches for quantifying multicast complexityubicomp/projekte/master2014... · approaches for...
TRANSCRIPT
![Page 1: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/1.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Approaches for QuantifyingMulticast Complexity
Nora Berg
AW 2
15. 5. 2014
![Page 2: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/2.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
1 Introduction and Basics
2 Graph Transformation
3 Stability of a Multicast Tree
4 Robustness with Percolation Theory
5 Summary
![Page 3: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/3.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Introduction
Motivation
• High complexity leads to low predictability
• Complexity varies in different algorithms
Long-Term Goal
• Identify (some) origins of complexity
• Analyze impact due to different multicast algorithm
• Describe (some) aspects of complexity in a formal way
• Predict weak resilience due to complexity
![Page 4: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/4.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Control Loop
Basic Assumptions:
• Autonomous nodes
• Identical control loops
Topology
Data Plane
Maintenance
Control Plane(Dependencies) Reconfiguration
result in
initiate
change
States
(trigger)
check
• States: knowledge of a node
• Maintenance: local operations to monitor consistency
• Reconfiguration: network operations changing the states(and the tree)
![Page 5: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/5.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Aspects of Complexity
RobustnessHow many messages are delivered despite errors?
ResilienceDo repair mechanisms exist?How many options are there to repair the network?
Sustainability
How much effort is used to keep the network in a stable state?
![Page 6: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/6.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Approaches
• Networks = Graphs G (V ,E )
• Problem: Graphs are static and passive
• High complexity lead to unpredictable changes of thegraph
• Introduced by protocols and algorithms
• Change is a function with two inputs:
- Given underlying network (graph)- Current overlay network (multicast distribution tree)
• And one output:
- New multicast distribution tree
⇒ 3 approaches to describe the change
![Page 7: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/7.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Graph Transformation in a Nutshell (2010)
Title:Graph Transformation in a Nutshell [5]
Author:Reiko Heckel
Other Sources:H. Ehrig, K. Ehrig, U. Prange, G.Taentzer [3]Fundamentals of Algebraic Graph Transformation (2006)
![Page 8: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/8.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Basics
• Describes the change of a graph G (V ,E , s, t)
• Possible changes are described as rules
• Sequence of production rules describes behavior of themodel (e.g. a pacman game)
• 2 methods to describe rules• Single Pushout p = (L,R)• Double Pushout p = (L,K ,R)
L: Precondition R: Postcondition
![Page 9: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/9.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Single Pushout (SPO)
Algorithm for SPO-Graphtransformation Gp
=⇒ H• Find an occurence of L in G
• Delete from G all vertices and edges matched by L\R• copy all R\L to H
→ Typing needed in many applications (not only in SPO)
![Page 10: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/10.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Problems of SPO
Dangling Edges
• SPO-Algorithm does not guarantee avalid graph
• Dangling edges possible
Solutions
• Delete all dangling edges from H
• Use gluing conditions with the double-pushout approach
![Page 11: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/11.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Double Pushout (DPO)
• Production p = (L,K ,R)
• Morphism m is injectivestructure-preservingmapping L→ G• adjacent vertices in G
stay adjacent in H
Gluing Condition
Each vertex x in L, such that m(x) is source or target of anedge e in G\L must be in K.
Algorithm for DPO-Graphtransformation G ⇒ H
• Find an occurence of L in G which matches the gluing condition(create m)
• Create context Graph D := (G\m(L)) ∪m(K )• Create H = R +K D
![Page 12: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/12.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Short Reflection
What is graph transformation used for?
• Modelling of system states or structures
• Set of rules generate graphs: graph grammar
• Analyzeable with methodes of formal languages
How is graph transformation useable for complexity?
• Modelling reconfiguration methods as rules and states astypes
• Is it possible to predict the occurence probability of a wellknown failure state with formal language methods?
![Page 13: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/13.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Stability of a Multicast Tree
• Title: Stability of a Multicast Tree [7]
• Author: P. van Mieghem and M. Janic
• Other sources:P. van Mieghem: Performance Analysis ofCommunications Networks and Systems [6]P. Hartmann: Mathematik fr Informatiker [4]
![Page 14: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/14.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Basics
QuestionHow much does a multicast tree change, if a node joins?
Assumptions:
• Network Graph (RGU) Gp(N)• Random graph• Independently chosen links with propability p• Uniformly/exponent. distributed link weights ω
• Multicast tree:• Shortest path tree• One source• m receivers• Over network Gp(N)• N nodes in the network
![Page 15: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/15.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Example: Changing Tree
[grey: Network, black: MC-Distribution Tree]
• joining nodes connect to the tree through shortest path
• with increasing amount of receivers the amount of newedges decreases
![Page 16: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/16.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Approach
Stability
If a member leaves, on average less than one link changes
• gN(m):
- Average number of hops in a shortest path tree with mreceivers
• ∆N(m):
- Changed links on a multicast tree if a member leaves
• E [∆N(m)] = gN(m)− gN(m − 1)
- expected (mean) change of a multicast tree
![Page 17: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/17.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Results
Stability
• Stable, if multicast network has ≥ N3 receiver
• Problem: Unrealistic setting
Change of a Network
• Sparse fill level
• Change of the multicast tree is a Poisson distribution
![Page 18: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/18.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Change as Poisson distribution
Assumptions
• Network graph is RGU with N nodes• Multicast tree is a uniform recursive tree• Multicast tree is a shortest path tree• Sparse fill level (< N
3 )
Poisson Distribution
• Number of events• Fixed interval (time, space,...)• Independent from prior interval
m-1
m
Root
A
B
D
[7]
General Form:Pr(X = k) = γk
k! · e−γ
This Case:Pr [∆N(m) = k] ∼ (E [∆N(m)])k
k! · e−E [∆N(m)]
![Page 19: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/19.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Simulation Results
the number of changed edges k
0 2 4 6 8 10 12
Pr[Δ
Ν=
k]
0.0001
0.001
0.01
0.1
1
m=3m=8m=16m=32poisson (m=3)poisson (m=8)poisson (m=16)poisson (m=32)
N=100
Fig. 5. SPT : Pdf Pr [∆ N = k] for N = 100 and m < N/ 3
Source: P. van Mieghem, M.Janic; Stability of a Multicast Tree
![Page 20: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/20.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Catastrophic cascade of failures ininterdependent networks (2010)
Title:Catastrophic cascade of failures in interdependent networks
Authors:S.V. Buldryref, R. Parshani, G. Paul, H.E. Stanley, S. Havlin
Other sources:R. Albert, A. Barabasi :Statistical mechanics of complex networks (2002) [1]S. Havlin, R. Cohen:Complex Networks. Structure, Robustness and Function (2010)[2]
![Page 21: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/21.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Percolation Theory
Motivation
• Interdependent networks
• Malfunctions lead to failures in couplednetworks
• Example: Italian Blackout 2003
Percolation Theory
• Origins in physics & material science
• Grid structure of dimension d
• Links between neighbours are occupiedwith propability p
• Main Question: Is there a path from oneside to the other? [image: [1]]
![Page 22: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/22.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Percolation Theory on Networks
Percolation Theory
• Giant component: subgraph containing nearly all nodes
• Percolation threshold: pc
• Small p: unconnected graph, many clusters- probability of a node being in the giant component → 0
• p > pc One giant component emerges- probability of a node being in the giant component → 1
• Exponential decay of the cluster size
On Networks
• Difference in degree distributions:
• Grid: max. 2d-Neighbours• Network: higher node degrees
• Solution: ∞-dimensional grid
![Page 23: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/23.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Approach for InterdependentNetworks
Given:
• Two Networks A and B of size N
• Each Node Ai is coupled to equivalent node in Bi
• Within A and B: degree distribution PA(k) = PB(k)
Bidirectional Link: Ai ↔ Bi
Node Ai depends on functionality of Node Bi
![Page 24: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/24.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Subsequent Removal of Links
Idea• Remove a fraction of (1− p) nodes
→ Remove the bidirectional coupled nodes
→ Remove stepwise links within the network B, whichconnects different cluster of Network A (or vice versa)
Main Question in the Paper:• Analyze the size of p, when the network breaks into pieces
→ Percolation threshold: pc
• Influence of the node degree distribution
![Page 25: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/25.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Results
Dependency of pc on Degree Distribution
• Single networks:pc decreases with broader degree distribution
→ More stable with broader degree distribution
• Interdependent networks:pc increases with broader degree distribution
→ Less stable with broader degree distribution→ Probability increases to affect hub 1
→ Hubs become vulnerability
1hubs: nodes with exceptional large node degree
![Page 26: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/26.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Simulation Results
2.36 2.38 2.4 2.42 2.44 2.46 2.48 2.5p⟨k⟩
0.0
0.2
0.4
0.6
0.8
1.0
P∞
N = 1,000N = 2,000N = 4,000N = 8,000N = 16,000N = 32,000N = 64,000
pc = 2.4554/⟨k⟩
a
Further Results
• Analytical calculation of pc
• Dependency: random graph type ↔ pc
![Page 27: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/27.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Summary
• Overview on approaches which describe changes of graphs
• Graph Transformation can be used to model multicastalgorithms
• The amount of new hops in multicast trees follows aPoisson distribution in networks with few members
• Many realistic networks are interdepent
• Stability of interdependent networks differs from singlenetworks
![Page 28: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/28.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
So, what’s next?
Possible next steps
• Extracting complexity critera from reconfigurationmethods
• Testing them on simple example graphs (line, full mesh,etc.)
• How general is the SPT picture of distribution trees?
• What are the exceptions? And why?
• Decay of MC-networks vs. repair mechanisms• Which critera benefit from decay/repair mechanisms?• Which one is faster?
![Page 29: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/29.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary Thank you for your Attention!Any Questions?
![Page 30: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/30.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Bibliography I
[1] Reka Albert and Albert-Laszlo Barabasi.Statistical Mechanics of Complex Networks.Reviews of modern physics, 74(1):47, 2002.
[2] Reuven Cohen and Shlomo Havlin.Complex Networks: Structure, Robustness and Function.Cambridge University Press, 2010.
[3] Hartmut Ehrig, Karsten Ehrig, Ulrike Prange, and GabrieleTaentzer.Fundamentals of Algebraic Graph Transformation, volume373.Springer, 2006.
[4] Peter Hartmann.Mathematik fur Informatiker: Ein praxisbezogenesLehrbuch. Vierte Auflage, 2006.
![Page 31: Approaches for Quantifying Multicast Complexityubicomp/projekte/master2014... · Approaches for Quantifying Multicast Complexity Nora Berg AW 2 15. 5. 2014. Multicast Complexity Nora](https://reader030.vdocuments.net/reader030/viewer/2022040716/5e1f8a30271e3b129e13b6dd/html5/thumbnails/31.jpg)
MulticastComplexity
Nora Berg
Intro
Graph Trans-formation
Stability of aMulticast Tree
PercolationTheory
Summary
Bibliography II
[5] Reiko Heckel.Graph Transformation in a Nutshell.Electronic Notes in Theoretical Computer Science,148:187–198, 2006.
[6] Piet Van Mieghem.Performance Analysis of Communications Networks andSystems.Cambridge University Press, Cambridge, New York, 2006.
[7] Piet Van Mieghem and Milena Janic.Stability of a Multicast Tree.In INFOCOM 2002. Twenty-First Annual Joint Conferenceof the IEEE Computer and Communications Societies.Proceedings. IEEE, volume 2, pages 1099–1108. IEEE,2002.