@inproceedings{CKMW17,
  author    = {Chris Chilton and
               Marta Kwiatkowska and
               Faron Moller and
               Xu Wang},
  title     = {A Specification Theory of Real-Time Processes},
  booktitle = {Concurrency, Security, and Puzzles - Essays Dedicated to Andrew William
               Roscoe on the Occasion of His 60th Birthday},
  pages     = {18--38},
  year      = {2017},
  series    = {Lecture Notes in Computer Science},
  volume    = {10160},
  publisher = {Springer},
 
}