Changes between Version 9 and Version 10 of BotnetExample

Timestamp:

Nov 4, 2010 4:57:10 PM (13 years ago)

Author:

sunshine

Comment:

--

BotnetExample

@@ -50 +50 @@
 * '''Logical topology:''' 
 
-  Objects:
+  '''Objects:'''
 
     Peer extends Node
@@ -60 +60 @@
     Leader := {Peer[] slaves = {}  }
 
-  Cardinality:
+  '''Cardinality:'''
 
     |Peer|,,>=2,,
@@ -66 +66 @@
     |Leader|,,>=1,,
 
-  Relationships:
+  '''Relationships:'''
 
 
  * '''Timeline of events: '''
 
-  Definitions:
+  '''Definitions:'''
 
     each Peer peer1, some Peer peer2: 
@@ -95 +95 @@
       e6 := {type = REPORT, origin = x, destination = x, String report = r} 
 
-  Timeline:
+  '''Timeline:'''
 
       e1 -> [s1 and e2 -> s2] || e3 -> s3 -> e4 -> e5 -> [e6]