DTGolog Models of London Ambulance Service

The first set includes programs that have been used to evaluate quantitatively designs mentioned in the paper. The second set includes revised programs that Huy Pham used to run simulations for his master thesis. This second set includes only those programs that are different from the programs in the first set (i.e., some programs were not revised).

Programs related to a paper

Programs related to Huy Pham's master thesis

Huy Pham's master thesis.