Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Merge branch 'master' into MC_LTL
[simgrid.git] / examples / msg / mc / deploy_mutex.xml
1 <?xml version='1.0'?>
2
3 <!DOCTYPE platform SYSTEM "http://simgrid.gforge.inria.fr/simgrid.dtd">
4
5 <platform version="3">
6
7   <process host="Tremblay" function="coordinator" />
8
9   <process host="Fafard" function="client" />
10
11   <process host="Boivin" function="client" />
12
13   <process host="TeX" function="client" />
14
15   <process host="Geoff" function="client" />
16   
17   <!-- <process host="Disney" function="client" />
18     
19   <process host="iRMX" function="client" />
20       
21   <process host="McGee" function="client" />
22
23   <process host="Gatien" function="client" />
24     
25   <process host="Laroche" function="client" />
26       
27   <process host="Tanguay" function="client" />
28
29   <process host="Morin" function="client" />
30
31   <process host="Ethernet" function="client" />
32
33   <process host="Bellemarre" function="client" />
34
35   <process host="Kuenning" function="client" />
36   
37   <process host="Gaston" function="client" /> -->
38
39 </platform>