2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\accepting automata minimization.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples accepting automata minimization.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\coffeeMachine-withProgressProblem.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples coffeeMachine-withProgressProblem.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\coffeeMachine.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples coffeeMachine.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\CommProtocol-duplicated-butCommonInitialState.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples CommProtocol-duplicated-butCommonInitialState.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\CommProtocol-duplicated.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples CommProtocol-duplicated.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\CommProtocol-symmetric.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples CommProtocol-symmetric.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\CommProtocol.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples CommProtocol.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\deadlock-due-to-finite-buffers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples deadlock-due-to-finite-buffers.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\door.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples door.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\IOA-example.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples IOA-example.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\non-deterministic-FSM.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples non-deterministic-FSM.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\philosophers - abstract version.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples philosophers - abstract version.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\philosophers - standard version  - with counting active philosophers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples philosophers - standard version  - with counting active philosophers.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\philosophers - standard version - taking left or right.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples philosophers - standard version - taking left or right.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\philosophers - standard version.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples philosophers - standard version.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\philosophers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples philosophers.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\readers-writers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples readers-writers.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\telephone-system.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples telephone-system.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\three-way-rendezvous.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples three-way-rendezvous.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\Two-SDL-processes - with implied receptions.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples Two-SDL-processes - with implied receptions.lts
2011.01.09 14:40 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\Two-SDL-processes.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples Two-SDL-processes.lts
2011.01.09 15:41 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\WS_FTP.LOG --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples WS_FTP.LOG
2011.01.15 22:28 B T:\Gregor's files\Course SEG-2(1-5)06 W2010-2011\SEG-2106-2506\Notes\LTSA-examples\examples\coffeeMachine.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples coffeeMachine.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\accepting automata minimization.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples accepting automata minimization.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\coffeeMachine-withProgressProblem.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples coffeeMachine-withProgressProblem.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\coffeeMachine.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples coffeeMachine.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\CommProtocol-duplicated-butCommonInitialState.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples CommProtocol-duplicated-butCommonInitialState.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\CommProtocol-duplicated.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples CommProtocol-duplicated.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\CommProtocol-symmetric.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples CommProtocol-symmetric.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\CommProtocol.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples CommProtocol.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\deadlock-due-to-finite-buffers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples deadlock-due-to-finite-buffers.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\door.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples door.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\IOA-example.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples IOA-example.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\non-deterministic-FSM.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples non-deterministic-FSM.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\philosophers - abstract version.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples philosophers - abstract version.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\philosophers - standard version  - with counting active philosophers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples philosophers - standard version  - with counting active philosophers.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\philosophers - standard version - taking left or right.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples philosophers - standard version - taking left or right.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\philosophers - standard version.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples philosophers - standard version.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\philosophers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples philosophers.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\readers-writers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples readers-writers.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\telephone-system.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples telephone-system.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\three-way-rendezvous.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples three-way-rendezvous.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\Two-SDL-processes - with implied receptions.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples Two-SDL-processes - with implied receptions.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\Two-SDL-processes.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples Two-SDL-processes.lts
2012.01.09 11:34 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\WS_FTP.LOG --> ftp.site.uottawa.ca /public_html/SEG-2106-2506 - home/Notes/LTSA-examples/examples WS_FTP.LOG
2012.01.15 20:33 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\Interview-collaboration.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples Interview-collaboration.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\coffeeMachine - with tea safeness.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples coffeeMachine - with tea safeness.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\CommProtocol-symmetric.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples CommProtocol-symmetric.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\CommProtocol.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples CommProtocol.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\deadlock-due-to-finite-buffers.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples deadlock-due-to-finite-buffers.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\hotel-room-and-restaurant-1.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples hotel-room-and-restaurant-1.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\hotel-room-and-restaurant-2.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples hotel-room-and-restaurant-2.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\hotel-room-and-restaurant-3.lts --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples hotel-room-and-restaurant-3.lts
2012.01.17 20:44 B F:\Gregor's files\Course SEG-2(1-5)06 W2012\SEG-2106-2506 - home\Notes\LTSA-examples\examples\WS_FTP.LOG --> ftp.site.uottawa.ca /public_html/SEG-2106-2506/Notes/LTSA-examples/examples WS_FTP.LOG