bib.bib

@INPROCEEDINGS{ChothiaProofs05,
  AUTHOR = {Tom Chothia and Dominic Duggan},
  TITLE = {Capability-Passing Processes},
  BOOKTITLE = {  The 4th International Workshop on Foundations of Coordination Languages and Software Architectures (FOCLASA 2005) },
  YEAR = {2005},
  URL = {Papers/Proofs.pdf}
}

@INPROCEEDINGS{chothiaUntyped05,
  AUTHOR = {Tom Chothia and Dominic Duggan},
  TITLE = {Typed-based Access Control vs. Untyped Attackers},
  BOOKTITLE = {The 3rd Workshop on Formal Aspects in Security and Trust (FAST 2005)},
  YEAR = {2005},
  MONTH = {July},
  URL = {Papers/UntypedAttackers.pdf}
}

@INPROCEEDINGS{chothiaTrusting05,
  AUTHOR = {Tom Chothia and Dominic Duggan and Ye Wu},
  TITLE = {Trusting the Network},
  BOOKTITLE = {Workshop on Foundations of Computer Security  (FCS 2005)},
  YEAR = {2005},
  URL = {Papers/Trusting.pdf}
}

@INPROCEEDINGS{Metric,
  AUTHOR = {Yuxin Deng and Tom Chothia and Catuscia Palamidessi and Jun Pang},
  TITLE = {Metrics for action-labelled quantitative transition systems},
  BOOKTITLE = {3rd Workshop on Quantitative Aspects of Programming Languages (QAPL'05)},
  YEAR = {2005},
  VOLUME = {Electronic Notes in Theoretical Computer Science},
  PUBLISHER = {Elsevier},
  URL = {Papers/metric.pdf}
}

@ARTICLE{chothia-abstractions,
  AUTHOR = {Tom Chothia and Dominic Duggan},
  TITLE = {Abstractions for Fault-Tolerant Global Computing},
  JOURNAL = {Theoretical Computer Science},
  YEAR = {2004},
  VOLUME = {322},
  NUMBER = {3},
  OPTPAGES = {567-613},
  URL = {Papers/TCSAbstractions.ps}
}

@INPROCEEDINGS{PPK,
  AUTHOR = {Tom Chothia and Dominic Duggan and Jan Vitek},
  TITLE = {Principals, Policies and Keys in a Secure Distributed Programming Language},
  BOOKTITLE = {Foundations of Computer Security - FCS'04},
  YEAR = {2004},
  ADDRESS = {Turku, Finland},
  MONTH = {July},
  URL = {Papers/FCS04PPK.ps}
}

@INPROCEEDINGS{KDLM,
  AUTHOR = {Tom Chothia and Dominic Duggan and Jan Vitek},
  TITLE = {Type-Based Distributed Access Control},
  BOOKTITLE = {16th IEEE Computer Security Foundations Workshop (CSFW-16 2003)},
  PAGES = {170-186},
  YEAR = {2003},
  PUBLISHER = {IEEE Computer Society},
  URL = {Papers/KDLM.pdf}
}

@INPROCEEDINGS{ArchFTGA,
  AUTHOR = {Tom Chothia and Dominic Duggan},
  TITLE = {An Architecture for Secure Fault-Tolerant Global Applications},
  BOOKTITLE = {Workshop on Principles of Dependable Systems},
  YEAR = {2003},
  URL = {Papers/PDS03Arch.pdf}
}

@PHDTHESIS{LApi,
  AUTHOR = {Tom Chothia},
  TITLE = {The Local Area pi-Calculus},
  SCHOOL = {Edinburgh University},
  YEAR = {2002},
  URL = {Papers/LApiThesisTwosided.ps}
}

@ARTICLE{gaze,
  AUTHOR = {K.L. Howe and T. Chothia and R. Durbin},
  TITLE = {GAZE: a generic framework for the integration of gene prediction data by dynamic programming},
  JOURNAL = {Genome Research},
  YEAR = {2002},
  VOLUME = {12(9)},
  PAGES = {1418-1427},
  URL = {Papers/gaze.pdf}
}

@INPROCEEDINGS{enccal,
  AUTHOR = {Tom Chothia and Ian Stark},
  TITLE = {Encoding Distributed Areas and Local Communication into the pi-calculus},
  BOOKTITLE = {Expressiveness in Concurrency, EXPRESS},
  YEAR = {2001},
  URL = {Papers/EXPRESS01Encode.ps}
}

@INPROCEEDINGS{discla,
  AUTHOR = {Tom Chothia and Ian Stark},
  TITLE = {A Distributed Calculus with Local Areas of Communication},
  BOOKTITLE = {High Level Concurrent Languages},
  YEAR = 2000,
  URL = {Papers/HLCL00discla.pdf}
}