• Home
• People
• Chris Chilton
• Publications

Chris Chilton : Publications

By dateBy titleBy typeBibtex

Click here to download all publications in a single bibtex file

@techreport{RR-13-02,
  title = "An Algebraic Theory of Interface Automata",
  author = "Chris Chilton and Bengt Jonsson and Marta Kwiatkowska",
  year = "2013",
  institution = "DCS",
  number = "RR-13-02",
  pages = "60",
}

@techreport{RR-12-04,
  title = "Revisiting Timed Specification Theories: A Linear-Time Perspective",
  author = "Chris Chilton and Marta Kwiatkowska and Xu Wang",
  year = "2012",
  institution = "DCS",
  number = "CS-RR-12-04",
  pages = "20",
}

@techreport{CS-RR-12-01,
  title = "A Compositional Specification Theory for Component Behaviours",
  author = "Taolue Chen and Chris Chilton and Bengt Jonsson and Marta Kwiatkowska",
  year = "2012",
  institution = "DCS",
  number = "CS-RR-12-01",
  pages = "35",
}