From 162c575ecb082c3de0f7b898f05117be3a26b610 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Sun, 14 Oct 2007 14:33:49 +0000 Subject: [PATCH] Updated URLs in case study READMEs. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@448 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism-examples/brp/README | 2 +- prism-examples/cell/README | 2 +- prism-examples/cluster/README | 2 +- prism-examples/dice/README | 2 +- prism-examples/embedded/README | 2 +- prism-examples/firewire/README | 2 +- prism-examples/fms/README | 2 +- prism-examples/kanban/README | 2 +- prism-examples/leader/asynchronous/README | 2 +- prism-examples/leader/synchronous/README | 2 +- prism-examples/molecules/README | 2 +- prism-examples/mutual/README | 2 +- prism-examples/phil/nofair/README | 2 +- prism-examples/phil/original/README | 2 +- prism-examples/phil_lss/README | 2 +- prism-examples/polling/README | 2 +- prism-examples/rabin/README | 2 +- prism-examples/self-stabilisation/beauquier/README | 2 +- prism-examples/self-stabilisation/herman/README | 2 +- prism-examples/self-stabilisation/israeli-jalfon/README | 2 +- prism-examples/tandem/README | 2 +- 21 files changed, 21 insertions(+), 21 deletions(-) diff --git a/prism-examples/brp/README b/prism-examples/brp/README index e6d64561..58682c3e 100644 --- a/prism-examples/brp/README +++ b/prism-examples/brp/README @@ -5,7 +5,7 @@ Its parameters are: N = number of chunks in a file MAX = maximum number of retransmissions -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/brp.html +For more information, see: http://www.prismmodelchecker.org/casestudies/brp.html ===================================================================================== diff --git a/prism-examples/cell/README b/prism-examples/cell/README index 5c5f0184..6fcd5c0b 100644 --- a/prism-examples/cell/README +++ b/prism-examples/cell/README @@ -1,6 +1,6 @@ This case study is based on a single cell in a wireless communication network. It is taken from [HMPT00]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/cell.html +For more information, see: http://www.prismmodelchecker.org/casestudies/cell.html ===================================================================================== diff --git a/prism-examples/cluster/README b/prism-examples/cluster/README index 0ddd3327..4b6d163e 100644 --- a/prism-examples/cluster/README +++ b/prism-examples/cluster/README @@ -1,6 +1,6 @@ This case study is based on a dependable cluster of workstations, taken from [HHK00]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/cluster.html +For more information, see: http://www.prismmodelchecker.org/casestudies/cluster.html ===================================================================================== diff --git a/prism-examples/dice/README b/prism-examples/dice/README index 9149320b..8bdf5260 100644 --- a/prism-examples/dice/README +++ b/prism-examples/dice/README @@ -1,6 +1,6 @@ This case study is based on probabilistic algorithms due to Knuth [KY76] which model 6-sided dice using fair coins. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/dice.html +For more information, see: http://www.prismmodelchecker.org/casestudies/dice.html ===================================================================================== diff --git a/prism-examples/embedded/README b/prism-examples/embedded/README index fce4ac02..68a69f73 100644 --- a/prism-examples/embedded/README +++ b/prism-examples/embedded/README @@ -1,7 +1,7 @@ This case study models a simple embedded system, as described in [KNP04c]. It is closely based on the example of [MCT94]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/embedded.html +For more information, see: http://www.prismmodelchecker.org/casestudies/embedded.html ===================================================================================== diff --git a/prism-examples/firewire/README b/prism-examples/firewire/README index 8a504248..6813971d 100644 --- a/prism-examples/firewire/README +++ b/prism-examples/firewire/README @@ -13,7 +13,7 @@ abst: which is represented by a single probabilistic timed automaton and is an a For both models we have used the integer semantics given in [KNS02b]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/firewire.html +For more information, see: http://www.prismmodelchecker.org/casestudies/firewire.html ===================================================================================== diff --git a/prism-examples/fms/README b/prism-examples/fms/README index e19a1e1b..17f19432 100644 --- a/prism-examples/fms/README +++ b/prism-examples/fms/README @@ -1,6 +1,6 @@ This case study is based on the flexible manufacturing system of [CT93]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/fms.html +For more information, see: http://www.prismmodelchecker.org/casestudies/fms.html ===================================================================================== diff --git a/prism-examples/kanban/README b/prism-examples/kanban/README index 120c9e36..1d487f7e 100644 --- a/prism-examples/kanban/README +++ b/prism-examples/kanban/README @@ -1,6 +1,6 @@ This case study is based on the Kanban flexible manufacturing system of [CT96]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/kanban.html +For more information, see: http://www.prismmodelchecker.org/casestudies/kanban.html ===================================================================================== diff --git a/prism-examples/leader/asynchronous/README b/prism-examples/leader/asynchronous/README index 40480730..fa88edc8 100644 --- a/prism-examples/leader/asynchronous/README +++ b/prism-examples/leader/asynchronous/README @@ -1,6 +1,6 @@ This case study is based on the asynchronous leader election protocol of Itai & Rodeh [IR90]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/asynchronous_leader.html +For more information, see: http://www.prismmodelchecker.org/casestudies/asynchronous_leader.html ===================================================================================== diff --git a/prism-examples/leader/synchronous/README b/prism-examples/leader/synchronous/README index e5e1e558..7cdec5b4 100644 --- a/prism-examples/leader/synchronous/README +++ b/prism-examples/leader/synchronous/README @@ -1,6 +1,6 @@ This case study is based on the synchronous leader election protocol of Itai & Rodeh [IR90]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/synchronous_leader.html +For more information, see: http://www.prismmodelchecker.org/casestudies/synchronous_leader.html ===================================================================================== diff --git a/prism-examples/molecules/README b/prism-examples/molecules/README index 74da2f8e..fe94e1e6 100644 --- a/prism-examples/molecules/README +++ b/prism-examples/molecules/README @@ -6,7 +6,7 @@ This case study models several simple molecular reactions: These are taken from Ehud Shapiro's lecture notes on Biomolecular Processes as Concurrent Computation [Sha]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/molecules.html +For more information, see: http://www.prismmodelchecker.org/casestudies/molecules.html ===================================================================================== diff --git a/prism-examples/mutual/README b/prism-examples/mutual/README index 3c7a361c..148eb28f 100644 --- a/prism-examples/mutual/README +++ b/prism-examples/mutual/README @@ -21,7 +21,7 @@ No: No: Description: State: 14 18 leaving critical section admit 15 19 leaving critical section admit -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/mutual.html +For more information, see: http://www.prismmodelchecker.org/casestudies/mutual.html ===================================================================================== diff --git a/prism-examples/phil/nofair/README b/prism-examples/phil/nofair/README index 2b8ecd2c..5d96b1e1 100644 --- a/prism-examples/phil/nofair/README +++ b/prism-examples/phil/nofair/README @@ -1,7 +1,7 @@ This case study is based on Lehmann and Rabin's solution to the well known dining philosophers problem [LR81]. It considers the version presented in [DFP04] which removes the need to consider 'fairness' assumptions on the scheduling mechanism. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/phil.html +For more information, see: http://www.prismmodelchecker.org/casestudies/phil.html ===================================================================================== diff --git a/prism-examples/phil/original/README b/prism-examples/phil/original/README index af5d5a12..e6aeec0c 100644 --- a/prism-examples/phil/original/README +++ b/prism-examples/phil/original/README @@ -1,6 +1,6 @@ This case study is based on Lehmann and Rabin's solution to the well known dining philosophers problem [LR81]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/phil.html +For more information, see: http://www.prismmodelchecker.org/casestudies/phil.html ===================================================================================== diff --git a/prism-examples/phil_lss/README b/prism-examples/phil_lss/README index f4ffa1e6..780c1041 100644 --- a/prism-examples/phil_lss/README +++ b/prism-examples/phil_lss/README @@ -1,7 +1,7 @@ This case study is based on Lehmann and Rabin's solution to the well known dining philosophers problem [LR81] and the analysis of this algorithm by Lynch, Saias and Segala [LSS94]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/phil_lss.html +For more information, see: http://www.prismmodelchecker.org/casestudies/phil_lss.html ===================================================================================== diff --git a/prism-examples/polling/README b/prism-examples/polling/README index b4881d5d..7d379581 100644 --- a/prism-examples/polling/README +++ b/prism-examples/polling/README @@ -1,6 +1,6 @@ This case study is based on a cyclic server polling system, taken from [IT90]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/polling.html +For more information, see: http://www.prismmodelchecker.org/casestudies/polling.html ===================================================================================== diff --git a/prism-examples/rabin/README b/prism-examples/rabin/README index df54236d..a03e32db 100644 --- a/prism-examples/rabin/README +++ b/prism-examples/rabin/README @@ -1,6 +1,6 @@ This case study is based on Rabin's solution to the well known mutual exclusion problem [Rab82]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/rabin.html +For more information, see: http://www.prismmodelchecker.org/casestudies/rabin.html ===================================================================================== diff --git a/prism-examples/self-stabilisation/beauquier/README b/prism-examples/self-stabilisation/beauquier/README index 4ecd7d37..8f7d45da 100644 --- a/prism-examples/self-stabilisation/beauquier/README +++ b/prism-examples/self-stabilisation/beauquier/README @@ -1,6 +1,6 @@ This case study is based on Beauquier, Gradinariu and Johnen's self-stabilising algorithm [BGJ99]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/self-stabilisation.html +For more information, see: http://www.prismmodelchecker.org/casestudies/self-stabilisation.html ===================================================================================== diff --git a/prism-examples/self-stabilisation/herman/README b/prism-examples/self-stabilisation/herman/README index bfffc8f1..7d9af3af 100644 --- a/prism-examples/self-stabilisation/herman/README +++ b/prism-examples/self-stabilisation/herman/README @@ -1,6 +1,6 @@ This case study is based on Herman's self-stabilising algorithm [Her90]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/self-stabilisation.html +For more information, see: http://www.prismmodelchecker.org/casestudies/self-stabilisation.html ===================================================================================== diff --git a/prism-examples/self-stabilisation/israeli-jalfon/README b/prism-examples/self-stabilisation/israeli-jalfon/README index c1f51261..2b1fba83 100644 --- a/prism-examples/self-stabilisation/israeli-jalfon/README +++ b/prism-examples/self-stabilisation/israeli-jalfon/README @@ -1,6 +1,6 @@ This case study is based on Israeli and Jalfon's self-stabilising algorithm [IJ90]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/self-stabilisation.html +For more information, see: http://www.prismmodelchecker.org/casestudies/self-stabilisation.html ===================================================================================== diff --git a/prism-examples/tandem/README b/prism-examples/tandem/README index 0ddc9ba8..3c812701 100644 --- a/prism-examples/tandem/README +++ b/prism-examples/tandem/README @@ -1,6 +1,6 @@ This case study is based on a simple tandem queueing network, taken from [HMKS99]. -For more information, see: http://www.cs.bham.ac.uk/~dxp/prism/casestudies/tandem.html +For more information, see: http://www.prismmodelchecker.org/casestudies/tandem.html =====================================================================================