Index of /~bochmann/ELG7187C/CourseNotes/PerformanceModeling/Timed-Automata/Uppaal examples of WS protocols/business

Icon  Name                    Last modified      Size  Description
[DIR] Parent Directory                             -   
[   ] tables-enhancedBAwCC..> 15-Oct-2010 17:42  281K  
[   ] enhancedBAwCC.xml       15-Oct-2010 17:42   56K  
[   ] enhancedBAwCC.q         15-Oct-2010 17:42  542   
[   ] BAwCC.xml               15-Oct-2010 17:42   50K  
[   ] BAwCC.q                 15-Oct-2010 17:42  354   
[   ] tables-BAwCC.pdf        08-Oct-2010 12:00  195K
Apache/2.0.59 (FreeBSD) mod_ssl/2.0.59 OpenSSL/0.9.7e-p1 PHP/5.1.6 with Suhosin-Patch Server at www.site.uottawa.ca Port 443