Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{Ros130,
  author = "A.W. Roscoe, P.J. Armstrong and Pragyesh",
  booktitle = "To appear in Proc ATVA 2009 (Springer)",
  title = "Local search in model checking",
  year = "2009",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{Ros128,
  author = "L.H. Nguyen and A.W. Roscoe",
  title = "New combinatorial bounds for universal hash functions",
  year = "2009",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{Ros129,
  author = "R. Kainda, I. Flechais and A.W. Roscoe",
  booktitle = "Proceedings of SOUPS 2009",
  title = "Usability and security of out-of-bound channels in secure device pairing protocols",
  year = "2009",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{Ros127,
  author = "A.W. Roscoe",
  booktitle = "to appear in Reflections on the work of C.A.R. Hoare",
  editor = "C.B. Jones, A.W. Roscoe and K.R. Wood",
  publisher = "Springer",
  title = "CSP is expressive enough for pi",
  year = "2009",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{Ros126,
  author = "L.H. Nguyen and A.W. Roscoe",
  title = "Authentication protocols based on low-bandwith unspoofable channels: a comparative survey",
  year = "2009",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'journal' field 
@article{exprcsp,
  author = "A.W. Roscoe",
  note = "Draft of October 23, 2008",
  title = "On the expressiveness of CSP",
  year = "2008",
}


    
      @inproceedings{sym08,
  author = "N Moffat and M.H. Goldsmith and A.W. Roscoe",
  booktitle = "Proceedings of IFCEM 2008",
  title = "A representative function approach to symmetry exploitation for CSP refinement checking",
  year = "2008",
}


    
      @inproceedings{biro122,
  author = "L.H. Nguyen and A.W. Roscoe",
  booktitle = "Proceedings of FCS-ARSPA-WITS",
  note = "(This version is extended by appendices not present in proceedings.)",
  title = "Separating two roles of hashing in one-way message authentication",
  year = "2008",
}


    
      @inproceedings{biro121,
  author = "A.W. Roscoe",
  booktitle = "Proceedings of ICTAC '08",
  title = "The three Platonic models of divergence-strict CSP",
  year = "2008",
}


    
      @article{ShortDigests,
  author = "A. W. Roscoe and L. H. Nguyen",
  journal = "{Information and Computation}",
  pages = "250-271",
  title = "Authenticating ad hoc networks by comparison of short digests",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/120.pdf",
  volume = "206",
  year = "2008",
}


    
      @unpublished{Revivals,
  author = "A. W. Roscoe",
  journal = "JLAP",
  month = "December",
  note = "to appear (revision of 2005 and 2007 drafts)",
  title = "{Revivals,stuckness and the hierarchy of CSP Models}",
  year = "2008",
}


    
      @inproceedings{SVA,
  author = "A. W. Roscoe and David Hopkins",
  booktitle = "{Proceedings of AVoCS 2007}",
  note = "to appear",
  pages = "177--183",
  title = "{SVA, a tool for analysing shared-variable programms}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/119.pdf",
  year = "2007",
}


    
      @article{NetsWithTokens,
  author = "A. W. Roscoe and Ranko Lazic and Tom Newcomb and Joel Ouaknine and James Worrell",
  journal = "{Springer LNCS 3349}",
  title = "Nets with Tokens Which Carry Data",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/118.pdf",
  year = "2007",
}


    
      @article{StableRevivals,
  author = "A. W. Roscoe and J. N. Reed and J. E. Sinclair",
  journal = "{Formal Aspects of Computing}",
  month = "August",
  number = "3",
  title = "Responsiveness and stable revivals",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/117.pdf",
  volume = "19",
  year = "2007",
}


    
      @inproceedings{EfficientGroupAuthentication,
  author = "A. W. Roscoe and L. H. Nguyen",
  booktitle = "{Proceedings of ARSPA 2006}",
  title = "Efficient group authentication protocols based on human interaction",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/116.pdf",
  year = "2006",
}


    
      @inproceedings{VerifyingStalemate,
  author = "A. W. Roscoe and Zhenzhong Wu",
  booktitle = "{Proceedings of ICFEM 2006}",
  note = "scripts: \url{http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115.csp}; \url{http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115statechartcompiler.csp}",
  title = "{Verifying Statemate Statecharts Using CSP and FDR}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/115.pdf",
  year = "2006",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'note' field 
@unpublished{modellingUnbounded,
  author = "A. W. Roscoe and E. Kleiner",
  title = "Modelling unbounded parallel sessions of security protocols in {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/114.pdf",
  year = "2006",
}


    
      @unpublished{Human-centred,
  author = "A. W. Roscoe",
  note = "Unpublished draft",
  title = "Human-centred computer security",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/113.pdf",
  year = "2006",
}


    
      @inproceedings{Multi-Party,
  author = "A. W. Roscoe and S. J. Creese and M. H. Goldsmith and Ming Xiao",
  booktitle = "{Proceedings of SAC 2006}",
  note = "to appear",
  title = "Bootstrapping Multi-Party Ad-Hoc Security",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/111.pdf",
  year = "2006",
}


    
      @inproceedings{TimedWorld,
  author = "A. W. Roscoe and Jian Huang",
  booktitle = "{Proceedings of SAC 2006}",
  note = "to appear",
  title = "Extending noninterference properties to the timed world",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/110.pdf",
  year = "2006",
}


    
      @inproceedings{WebServiceTaxonomy,
  author = "A. W. Roscoe and A. Martin and L. Momtahan",
  booktitle = "{Proceedings of Web Languages and Formal Methods 2005}",
  title = "A taxonomy of web services in {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/112.pdf",
  year = "2005",
}


    
      @inproceedings{MachineVerifiableResponsiveness,
  author = "A. W. Roscoe and J. N Reed and J. E Sinclair",
  booktitle = "{Proceedings of AVOCS 2005}",
  title = "Machine-Verifiable Responsiveness",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/109.pdf",
  year = "2005",
}


    
      @inproceedings{UbiquiousCommunication,
  author = "A. W. Roscoe and Sadie Creese and Mike Reed and Jeff Sanders",
  booktitle = "{ITU WSIS Thematic Meeting on Cybersecurity, Geneva, Switzerland}",
  month = "June",
  title = "Security and trust for ubiquitous communication",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/108.pdf",
  year = "2005",
}


    
      @inproceedings{ConfluenceThanks,
  author = "A. W. Roscoe",
  booktitle = "{Proceedings of Bertinoro meeting on Concurrency, BRICS 2005}",
  month = "May",
  note = "{Revised version, publication reference ENTCS 1336, 2006}",
  title = "Confluence thanks to extensional determinism",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/107.pdf",
  year = "2005",
}


    
      @unpublished{Pursuit,
  author = "A. W. Roscoe",
  month = "May",
  note = "unpublished draft",
  title = "The pursuit of buffer tolerance",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/106.pdf",
  year = "2005",
}


    
      @inproceedings{RelationshipProtocols,
  author = "A. W. Roscoe and Eldar Kleiner",
  booktitle = "{Proceedings of MFPS 2005}",
  note = "To appear.",
  title = "On the relationship between {Web Services Security} and traditional protocols",
  url = "href="http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/104.pdf",
  year = "2005",
}


    
      @inproceedings{Exploiting,
  author = "A. W. Roscoe and Sadie Creese and Michael Goldsmith and Richard Harrison and Paul Whittaker and Irfan Zakiuddin",
  booktitle = "{Proceedings of SPPC 2005}",
  title = "Exploiting Empirical Engagement in Authentication Protocol Design",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/103.pdf",
  year = "2005",
}


    
      @inproceedings{Whole-Array,
  author = "A. W. Roscoe and R. S. Lazic and Tom Newcomb",
  booktitle = "{Communicating Sequential Processes}",
  number = "3525",
  publisher = "Springer {LNCS}",
  title = "On Model checking data-independent systems with arrays with whole-array operations",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/102.pdf",
  year = "2005",
}


    
      @inproceedings{SeeingBeyondDivergence,
  author = "A. W. Roscoe",
  booktitle = "{Communicating Sequential Processes, the first 25 years}",
  number = "3525",
  publisher = "{Springer LNCS}",
  title = "Seeing beyond divergence",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/95.pdf",
  year = "2005",
}


    
      @techreport{RR-04-22,
  abstract = "Terms such as conversational and stateless are widely used in the taxonomy of web services. We give formal definitions of these terms using the CSP process algebra. Within this framework we also define the notion of Service-Oriented Architecture. These definitions are then used to prove important scalability properties of stateless services. The use of formalism should allow recent debates, concerning how and whether web services provide standardized access to state, to progress more rigorously.",
  author = "Lee Momtahan and Andrew Martin and A. W. Roscoe",
  institution = "Oxford University Computing Laboratory",
  month = "October",
  number = "RR-04-22",
  title = "A taxonomy of web services using CSP",
  year = "2004",
}


    
      @inproceedings{PolymorphicSystemsWithArrays,
  author = "A. W. Roscoe and R. S. Lazic and Tom Newcomb",
  booktitle = "{Proceedings of INFINITY 2004}",
  title = "Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/101.pdf",
  year = "2004",
}


    
      @inproceedings{WebServicesSecurity,
  author = "A. W. Roscoe and E. Kleiner",
  booktitle = "{Proceedings of Automated Reasoning for Security Protocol Analysis (ARSPA 04)}",
  title = "{Web Services Security: a preliminary study using Casper and FDR}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/100.pdf",
  year = "2004",
}


    
      @inproceedings{NormalityAssumption,
  author = "A. W. Roscoe and Xu Wang and R. S. Lazic",
  booktitle = "{Proceedings of IFM 2004}",
  publisher = "{Springer LNCS}",
  title = "{Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/99.pdf",
  volume = "2999",
  year = "2004",
}


    
      @article{Responsiveness,
  author = "A. W. Roscoe and J. N. Reed and J. E. Sinclair",
  journal = "Formal Aspects of Computing",
  pages = "394--411",
  title = "Responsiveness of Interoperating Components",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/98.pdf",
  volume = "16",
  year = "2004",
}


    
      @inproceedings{human-centric-directions,
  author = "A. W. Roscoe and Sadie Creese and Michael Goldsmith and Irfan Zakiuddin",
  booktitle = "{Proceedings of SPPC 2004}",
  title = "Research directions for trust and security in human-centric computing",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/97.pdf",
  year = "2004",
}


    
      @inproceedings{Finitaryrefinementchecks,
  author = "A. W. Roscoe",
  booktitle = "{Proceedings of CPA 2004}",
  month = "June",
  title = "Finitary refinement checks for infinitary specifications",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/96.pdf",
  year = "2004",
}


    
      @article{EmbeddingAgents,
  author = "A. W. Roscoe and P.J. Broadfoot",
  journal = "{Journal of Computer Security}",
  number = "3-4",
  pages = "379-408",
  title = "Embedding agents within the intruder to detect parallel attacks",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/86.pdf",
  volume = "12",
  year = "2004",
}


    
      @article{ArraysWithoutReset,
  author = "A. W. Roscoe and R. S. Lazic and T. C. Newcomb",
  journal = "Theory and Practice of Logic Programming",
  number = "5 & 6",
  pages = "659-693",
  title = "On Model Checking Data-independent Systems with Arrays without Reset",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/85.pdf",
  volume = "4",
  year = "2004",
}


    
      @unpublished{CompilingStalemateStatecharts,
  author = "A. W. Roscoe",
  month = "January",
  note = "Extended Abstract",
  title = "{Compiling Statemate Statecharts into CSP and verifying them using FDR}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/94ab.ps",
  year = "2003",
}


    
      @techreport{UNITYunreachability,
  abstract = "This paper tries to translate trace refinement between CSP processes to unreachability on Unity-like languages. The key concern, however, is on how data independent (DI) variables and DI arrays could be treated in the translation. It proves to be a challenging task since CSP can utilize DI data in some subtle ways which cannot be simulated in Unity. To solve the problem, we find an interesting subclass of CSP specifications called DI-explicit specifications. This notion of DI-explicitness bears out to be the necessary condition for translatability, based on which a formal translation procedure is formulated for trace refinement checking problem. Using the semantic constructs of partitions and decorations, the translation is proved to be correct and some extensions are discussed. Overall, this paper is a first step to build a bridge from our recent DI array work in Unity-like languages to our previous DI work in CSP. The main contribution of paper lies in identifying the right condition, framework and mathematical constructs to do the work.",
  author = "A. W. Roscoe and Xu Wang and R.S. Lazic",
  institution = "Oxford University Computing Laboratory",
  month = "April",
  number = "RR-03-08",
  title = "{Translating CSP trace refinement to UNITY unreachability : a study in data independence}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/93.ps",
  year = "2003",
}


    
      @inproceedings{TheAttacker,
  author = "A. W. Roscoe and S.J. Creese and M.H. Goldsmith and I.Zakiuddin",
  booktitle = "{Proceedings of FAST 2003, Pisa}",
  title = "The attacker in ubiquitous computing environments: formalising the threat model",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/92.pdf",
  year = "2003",
}


    
      @inproceedings{WatchdogTransformations,
  author = "A. W. Roscoe and M.H. Goldsmith and N.Moffat and T. Whitworth and I. Zakiuddin",
  booktitle = "{Proceedings of FME 2003}",
  title = "Watchdog transformations for property-oriented model checking",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/91.pdf",
  year = "2003",
}


    
      @inproceedings{PolymorphicSystems,
  author = "A. W. Roscoe and R. S. Lazic and T. C. Newcomb",
  booktitle = "{Proceedings of South-East Europe Workshop on Formal Methods}",
  month = "August",
  note = "Extended abstract",
  title = "Polymorphic systems with arrays: decidability and undecidability",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/90.pdf",
  year = "2003",
}


    
      @article{ExpressivePower,
  author = "A. W. Roscoe",
  journal = "{Formal Aspects of Computing}",
  note = "{Preliminary version in Proceedings of AVoCS03, Southampton University Technical Report, April 2003}",
  pages = "93--112",
  series = "2",
  title = "{On the expressive power of CSP refinement}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/89.ps",
  volume = "17",
  year = "2003",
}


    
      @techreport{Bisimulation,
  author = "A. W. Roscoe and C.A.R. Hoare and C. Fournet and P.H.B. Gardiner and R. Milner and S.Rajamani and J. Rehof",
  institution = "Microsoft",
  title = "Bisimulation and refinement reconciled",
  year = "2003",
}


    
      @inproceedings{PervasiveComputing,
  author = "A. W. Roscoe and S.J. Creese and M.H. Goldsmith and I.Zakiuddin",
  booktitle = "{Proceedings of First International Conference on Pervasive Computing (March 2003)}",
  publisher = "{LNCS}",
  title = "Authentication in pervasive computing",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/87.ps",
  year = "2003",
}


    
      @inproceedings{CapturingParallelAttacks,
  author = "A. W. Roscoe and P. J. Broadfoot",
  booktitle = "{Proceedings of CSFW 15}",
  publisher = "{IEEE Press}",
  title = "Capturing parallel attacks within the data independence framework",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/84.ps",
  year = "2002",
}


    
      @inproceedings{InternalisingAgents,
  author = "A. W. Roscoe and P. J. Broadfoot",
  booktitle = "{Proceedings of WITS 2002}",
  note = "Extended Abstract",
  title = "{Internalising Agents in CSP Protocol Models}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/83.ps",
  year = "2002",
}


    
      @inproceedings{Compiling,
  author = "A. W. Roscoe",
  booktitle = "{Proceedings of PROGRESS workshop 2001}",
  title = "{Compiling Shared Variable Programs into CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/82.ps",
  year = "2001",
}


    
      @inproceedings{WhatCanYouDecide,
  author = "A. W. Roscoe and R. S. Lazic",
  booktitle = "{Proceedings of VCL 2001}",
  title = "What can you Decide about Resetable Arrays?",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/81.ps",
  year = "2001",
}


    
      @inproceedings{WithoutReset,
  author = "A. W. Roscoe and R. S. Lazic and T. C. Newcomb",
  booktitle = "{Proceedings of VCL 2001}",
  title = "On Model Checking Data-independent Systems with Arrays without Reset",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/80.ps",
  year = "2001",
}


    
      @book{SecurityProtocolsBook,
  author = "A. W. Roscoe and P. Ryan and S. Schneider and M. Goldsmith and G. Lowe",
  publisher = "{Addison-Wesley}",
  title = "The Modelling and Analysis of Security Protocols",
  year = "2001",
}


    
      @book{MillenialPerspectives,
  editor = "A. W. Roscoe and J. Davies and J. Woodcock",
  publisher = "{Palgrave}",
  title = "{Millennial Perspectives in Computer Science}",
  year = "2000",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{SuccessesAndFailures,
  author = "A. W. Roscoe and R. Forster and G.M. Reed",
  booktitle = "Millennial Perspectives in Computer Science",
  publisher = "Palgrave",
  title = "The successes and failures of behavioural models",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/78.pdf",
  year = "2000",
}


    
      @inproceedings{AutomatingDataIndependence,
  author = "A. W. Roscoe and P.J. Broadfoot and G. Lowe",
  booktitle = "{Proceedings of ESORICS2000}",
  publisher = "LNCS",
  title = "Automating Data Independence",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/76.pdf",
  volume = "1895",
  year = "2000",
}


    
      @inproceedings{StructuredNetworks,
  author = "A. W. Roscoe and S.J. Creese",
  booktitle = "{Proceedings of PDPTA2000}",
  title = "Data independent induction over structured networks",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/75.ps",
  year = "2000",
}


    
      @techreport{TTPCaseStudy,
  author = "A. W. Roscoe and S.J. Creese",
  institution = "{Oxford University Computing Laboratory}",
  number = "{PRG-TR-1-99}",
  title = "{TTP: A case study in combining induction and data independence}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/74.ps",
  year = "1999",
}


    
      @inproceedings{ArbitraryNetworkTopologies,
  author = "A. W. Roscoe and S.J. Creese",
  booktitle = "{Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)}",
  publisher = "{CSREA Press}",
  title = "{Formal Verification of Arbitrary Network Topologies}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/73.pdf",
  volume = "II",
  year = "1999",
}


    
      @inproceedings{InfiniteFamilyOfInductions,
  author = "A. W. Roscoe and S.J. Creese",
  booktitle = "{Formal Methods for Protocol Engineering and Distributed Systems, the proceedings of Formal Description Techniques for Distributed Systems and Communication Protocols and Protocol Specification, Testing and Verification (FORTE/PSTV'99)}",
  publisher = "{Kluwer Academic Publishers}",
  title = "{Verifying an infinite family of inductions simultaneously using data independence and FDR}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/72.pdf",
  year = "1999",
}


    
      @inproceedings{PredicateSymbols,
  author = "A. W. Roscoe and R.S. Lazic",
  booktitle = "{Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications (PDPTA'99)}",
  publisher = "{CSREA Press}",
  title = "Data independence with predicate symbols",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/71.ps",
  volume = "I",
  year = "1999",
}


    
      @article{dataIndependenceTechniques,
  author = "A. W. Roscoe and P.J. Broadfoot",
  journal = "{Journal of Computer Security}",
  title = "Proving security protocols with model checkers by data independence techniques",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/70.pdf",
  volume = "7",
  year = "1999",
}


    
      @inproceedings{intransitiveNoninterference,
  author = "A. W. Roscoe and M.H. Goldsmith",
  booktitle = "{Proceedings of CSFW 1999}",
  publisher = "{IEEE Press}",
  title = "What is intransitive noninterference?",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/69.ps",
  year = "1999",
}


    
      @book{theoryAndPractice,
  author = "A. W. Roscoe",
  isbn = "0-13-6774409-5",
  publisher = "{Prentice Hall}",
  title = "The theory and practice of concurrency",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/68b.pdf",
  year = "1998",
}


    
      @inproceedings{provingSecurityProtocols,
  author = "A. W. Roscoe",
  booktitle = "{Proceedings of CSFW 1998}",
  publisher = "{IEEE Press}",
  title = "Proving security protocols with model checkers by data independence techniques",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/67.pdf",
  year = "1998",
}


    
      @inproceedings{verifyingDeterminism,
  author = "A. W. Roscoe and R. Lazic",
  booktitle = "Proceedings of {INFINITY'98}",
  month = "July",
  note = "{extended version as Oxford University Computing Laboratory TR-2-98.}",
  title = "{Verifying Determinism of Concurrent Systems Which Use Unbounded Arrays}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/66.ps",
  year = "1998",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{specificationOfAParallelSystem,
  author = "A. W. Roscoe and S. Kiyamura",
  booktitle = "Correct Models of Parallel Computing",
  editor = "S. Noguchi and M. Ota",
  publisher = "{IOS Press}",
  title = "{A Case Study of the Formal Specification of a Parallel System using CSP}",
  year = "1997",
}


    
      @inproceedings{perfectspy,
  author = "A. W. Roscoe and M.H. Goldsmith",
  booktitle = "{Proceedings of DIMACS workshop on the design and formal verification of crypto-protocols}",
  note = "\url{http://dimacs.rutgers.edu/workshops/program2/program.html}",
  title = "The perfect spy for model-checking crypto-protocols",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/63.pdf",
  year = "1997",
}


    
      @techreport{TMNProtocol,
  author = "A. W. Roscoe and G. Lowe",
  institution = "{University of Leicester}",
  note = "{and IEEE transactions on Software Engineering Vol 23 (1997)}",
  title = "{Using CSP to detect errors in the TMN protocol}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/65.ps",
  year = "1996",
}


    
      @article{non-well-founded-sets,
  author = "A. W. Roscoe and R.S. Lazic",
  journal = "Annals of the New York Academiy of Sciences",
  title = "On transition systems and non-well-founded sets",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/62.pdf",
  volume = "806",
  year = "1996",
}


    
      @inproceedings{IntensionalSpecifications,
  author = "A. W. Roscoe",
  booktitle = "{Proceedings of 1996 IEEE Computer Security Foundations Workshop}",
  publisher = "{IEEE Computer Society Press}",
  title = "Intensional specifications of security protocols",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/61.ps",
  year = "1996",
}


    
      @techreport{timed-failures-stability,
  author = "A. W. Roscoe and G.M. Reed",
  institution = "{Oxford University Computing Laboratory}",
  note = "also appeared in Theoretical Computer Science, Vol 211 (1999)",
  number = "{PRG-119}",
  title = "{The timed failures-stability model for Timed CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/60.pdf",
  year = "1996",
}


    
      @inproceedings{CSPandDeterminism,
  author = "1996",
  booktitle = "{Proceedings of 1995 IEEE Symposium on Security and Privacy}",
  publisher = "{IEEE Computer Society Press}",
  title = "{CSP} and determinism in security modelling",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/56.ps",
  year = "1996",
}


    
      @article{NoninterferenceRevised,
  author = "A. W. Roscoe and J.C.P. Woodcock and L. Wulf",
  journal = "{Journal of Computer Security}",
  note = "revised version of above",
  pages = "27--54",
  series = "1",
  title = "Non-interference through determinism",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/55.pdf",
  volume = "4",
  year = "1996",
}


    
      @inproceedings{HierarchicalCompression,
  author = "A. W. Roscoe and P.H.B. Gardiner, M.H. Goldsmith, J.R. Hulance, D.M.Jackson and J.B. Scattergood",
  booktitle = "{Proceedings of TACAS 1995}",
  note = "also revised in a version of these proceedings published by {LNCS}",
  publisher = "{BRICS}",
  title = "{Hierarchical compression for model-checking CSP, or How to check 10^{20} dining philosophers for deadlock}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/59.pdf",
  year = "1995",
}


    
      @inproceedings{key-exchange,
  author = "A. W. Roscoe",
  booktitle = "{Proceedings of 1995 IEEE Computer Security Foundations Workshop}",
  publisher = "{IEEE Computer Society Press}",
  title = "{Modelling and verifying key-exchange protocols using CSP and FDR}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/58.ps",
  year = "1995",
}


    
      @inproceedings{ComposingAndDecomposing,
  author = "A. W. Roscoe and L. Wulf",
  booktitle = "{Proceedings of 1995 IEEE Computer Security Foundations Workshop}",
  publisher = "{IEEE Computer Society Press}",
  title = "Composing and decomposing systems under security properties",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/57.ps",
  year = "1995",
}


    
      @inproceedings{Noninterference,
  author = "A. W. Roscoe and J.C.P. Woodcock and L. Wulf",
  booktitle = "{Proceedings of ESORICS 94}",
  series = "{LNCS 875}",
  title = "Non-interference through determinism",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/54.pdf",
  year = "1994",
}


    
      @article{occam2-2,
  author = "A. W. Roscoe and M.H. Goldsmith and B.G.O. Scott",
  journal = "{Transputer Communications}",
  pages = "25--67",
  series = "1",
  title = "Denotational semantics for occam2, Part 2",
  volume = "2",
  year = "1994",
}


    
      @article{occam2-1,
  author = "A. W. Roscoe and M.H. Goldsmith and B.G.O. Scott",
  journal = "{Transputer Communications}",
  pages = "65--91",
  series = "2",
  title = "Denotational semantics for occam2, Part 1",
  volume = "1",
  year = "1994",
}


    
      @book{ClassicalMindBook,
  editor = "A. W. Roscoe",
  publisher = "{Prentice-Hall}",
  title = "{A Classical Mind: essays in Honour of C.A.R. Hoare}",
  year = "1994",
}


    
      @inbook{ClassicalMindChapter,
  author = "{A. W. Roscoe}",
  booktitle = "{A Classical Mind: essays in Honour of C.A.R. Hoare}",
  chapter = "21",
  publisher = "{Prentice-Hall}",
  title = "Model-checking {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/50.ps",
  year = "1994",
}


    
      @article{FixedPoints,
  author = "A. W. Roscoe and M.W. Mislove and S.A. Schneider",
  chapter = "2",
  journal = "{Theoretical Computer Science}",
  pages = "273--314",
  title = "Fixed points without completeness",
  volume = "138",
  year = "1993",
}


    
      @inproceedings{protocolsInCSP,
  author = "A. W. Roscoe",
  booktitle = "Proceedings of {Mierlo} workshop on protocols",
  publisher = "{TU Eindhoven}",
  title = "Developing and verifying protocols in {CSP}",
  year = "1993",
}


    
      @techreport{occamdenotational,
  author = "A. W. Roscoe and M.H. Goldsmith and B.G.O. Scott",
  institution = "{Oxford University Computing Laboratory}",
  number = "PRG-108",
  title = "{Denotational semantics for occam II}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/47.pdf",
  year = "1993",
}


    
      @article{occamMicroprocessors,
  author = "A. W. Roscoe",
  journal = "Phil Trans R. Soc. Lond A",
  note = "{Also in Mechanised Reasoning and Hardware Design, M.J.C. Gordon and C.A.R. Hoare, eds (Prentice-Hall, 1992), extended version available at \url{http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/45ex.ps} }",
  pages = "137-151",
  title = "Occam in the specification and verification of microprocessors",
  url = "http://www.jstor.org/view/09628428/ap000030/00a00150/0",
  volume = "339",
  year = "1992",
}


    
      @article{acyclic,
  author = "A. W. Roscoe and P. Moody",
  journal = "Topology and its Applications",
  pages = "53-67",
  title = "Acyclic monotone normality",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/44.pdf",
  volume = "47",
  year = "1992",
}


    
      @inproceedings{timedCSPtheory,
  author = "A. W. Roscoe and J.Davies and D.Jackson and G.M.Reed and J.Reed and S.A. Schneider",
  booktitle = "Proceedings of {REX} Workshop",
  publisher = "LNCS",
  title = "{Timed CSP: theory and practice}",
  volume = "600",
  year = "1992",
}


    
      @article{digitalTopology,
  author = "A. W. Roscoe and T.Y. Kong",
  journal = "Topology and its applications",
  pages = "219--262",
  title = "Concepts of digital topology",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/42.pdf",
  volume = "46",
  year = "1992",
}


    
      @article{occamsemantic,
  author = "A. W. Roscoe and M.H. Goldsmith and B.G.O. Scott",
  journal = "Proceedings of Transputing",
  title = "{A semantic model for occam II}",
  volume = "93",
  year = "1991",
}


    
      @inproceedings{h1transputer,
  author = "A. W. Roscoe and A.D.B. Cox and M.H. Goldsmith and J.B. Scattergood",
  booktitle = "{Proceedings of Transputing 91}",
  publisher = "IOS",
  title = "Formal methods in the development of the {H1 Transputer}",
  year = "1991",
}


    
      @article{starCovering,
  author = "A. W. Roscoe and E.K. van Douwen and G.M. Reed and I.J. Tree",
  journal = "Topology and its Applications",
  pages = "71-103",
  title = "Star covering properties",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/40.pdf",
  volume = "39",
  year = "1991",
}


    
      @inproceedings{timewiseRefinement,
  author = "A. W. Roscoe and G. M. Reed and S. A. Schneider",
  booktitle = "{Proceedings of the BCS-FACS Refinement Workshop}",
  publisher = "LNCS",
  title = "{CSP} and timewise refinement",
  year = "1991",
}


    
      @article{AnalysingTMFS,
  author = "A. W. Roscoe and G.M. Reed",
  editor = "Yonezawa and Ito",
  journal = "{Concurrency: Theory Language and Architecture}",
  publisher = "Springer LNCS",
  title = "{Analysing TM_{FS}: a study of nondeterminism in real-time concurrency}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/38.ps",
  volume = "491",
  year = "1991",
}


    
      @proceedings{topologyAndCategory,
  editor = "A. W. Roscoe and G.M. Reed and R.F. Wachter",
  note = "proceedings of a special session at the 1989 Oxford Topology Conference",
  publisher = "{OUP}",
  title = "Topology and category theory in computer science",
  year = "1991",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{topology,
  author = "A. W. Roscoe",
  booktitle = "Topology and Category Theory in Computer Science",
  editor = "G.M. Reed and A. W. Roscoe and R.F. Wachter",
  publisher = "{OUP}",
  title = "Topology, computer science and the mathematics of convergence",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/36.ps",
  year = "1991",
}


    
      @article{LatticeConditionsII,
  author = "A. W. Roscoe and P. Moody and G.M. Reed and P.J. Collins",
  journal = "Fundamenta Mathematicae",
  number = "138",
  pages = "69--81",
  title = "A lattice of conditions on topological spaces {II}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/31.pdf",
  year = "1991",
}


    
      @article{DeadlockAnalysis2,
  author = "A. W. Roscoe and S.D. Brookes",
  journal = "Distributed Computing",
  number = "4",
  pages = "209--230",
  title = "Deadlock analysis in networks of communicating processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/30.pdf",
  year = "1991",
}


    
      @techreport{TemporalLogic,
  author = "D.M. Jackson and J.W. Davies and G.M. Reed and S.A. Schneider",
  institution = "{Esprit SPEC project}",
  title = "A temporal logic for {Timed CSP}",
  year = "1990",
}


    
      @techreport{CommunicationAndCorrectness,
  author = "A. W. Roscoe and S.A. Schneider and J.W. Davies and D.M. Jackson and G.M. Reed",
  institution = "Esprit SPEC project",
  title = "Communication and correctness in {Timed CSP}",
  year = "1990",
}


    
      @techreport{MaintainingConsistency,
  author = "A. W. Roscoe",
  institution = "{Oxford University Computing Laboratory}",
  number = "{PRG-87}",
  title = "Maintaining consistency in distributed databases",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/33.ps",
  year = "1990",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'chapter' or 'pages' field 
@inbook{PointCountableBaseProblem,
  author = "A. W. Rosoce and P.J. Collins and G.M. Reed",
  booktitle = "Problems in Topology",
  editor = "G.M. Reed and J. van Mill",
  publisher = "Elsevier",
  title = "The point-countable base problem",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/32.pdf",
  year = "1990",
}


    
      @inproceedings{UnboundedNondeterminism2,
  author = "A. W. Roscoe and G.Barrett",
  booktitle = "Proceedings of MFPS89",
  number = "298",
  publisher = "Springer",
  series = "LNCS",
  title = "Unbounded nondeterminism in {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/29.pdf",
  year = "1989",
}


    
      @unpublished{DomainTheoryNotes,
  author = "A. W. Roscoe",
  note = "These notes were written for the Oxford Domain Theory course between 1984 and 1989. I originally planned to publish them as half of "Domains for denotational semantics".",
  title = "Notes on Domain Theory",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/domnotes.pdf",
  year = "1989",
}


    
      @techreport{UnboundedNondeterminism1,
  author = "A. W. Roscoe",
  institution = "{Oxford University Computing Laboratory}",
  month = "July",
  note = "in \emph{Two papers on CSP}, Also appeared in Journal of Logic and Computation, Vol 3, No 2 pp131-172 (1993)",
  number = "PRG-67",
  title = "Unbounded nondeterminism in {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/28.ps",
  year = "1988",
}


    
      @techreport{AlternativeOrder,
  author = "A. W. Roscoe",
  institution = "{Oxford University Computing Laboratory}",
  month = "July",
  note = "in \emph{Two papers on CSP}, Also appeared in Journal of Logic and Computation 2, 5 pp557-577",
  number = "PRG-67",
  title = "An alternative order for the failures model",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/27.ps",
  year = "1988",
}


    
      @article{LawsOfOccamProgramming,
  author = "A. W. Roscoe and C.A.R. Hoare",
  journal = "Theoretical Computer Science",
  note = "Previously appeared as Oxford University Computing Laboratory Technical Report PRG-53, 1986.",
  pages = "177--229",
  title = "The laws of occam programming",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/24.pdf",
  volume = "60",
  year = "1988",
}


    
      @article{ATimedModel,
  author = "A. W. Roscoe and G.M. Reed",
  journal = "{Theoretical Computer Science}",
  pages = "249--261",
  title = "A timed model for communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/23.pdf",
  volume = "58",
  year = "1988",
}


    
      @inproceedings{TransformingOccamPrograms,
  author = "A. W. Roscoe and M.H. Goldsmith",
  booktitle = "{The Design and Application of Parallel Digital Processors}",
  number = "298",
  series = "{IEE Conference Publication}",
  title = "Transforming occam programs",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/22.pdf",
  year = "1988",
}


    
      @inproceedings{MetricSpaces,
  author = "A. W. Roscoe and G.M. Reed",
  booktitle = "{Proceedings of the Third Workshop on the Mathematical Foundations of Programming Language Semantics (New Orleans, 1987)}",
  editor = "Main et al",
  number = "298",
  pages = "331--343",
  publisher = "Springer",
  series = "LNCS",
  title = "Metric spaces as models for real-time concurrency",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/19.pdf",
  year = "1988",
}


    
      @inproceedings{RoutingMessages,
  address = "Amsterdam",
  author = "A. W. Roscoe",
  booktitle = "{Programming of Transputer Based Machines: Proceedings of 7th occam User Group Technical Meeting}",
  editor = "Muntean et al.",
  publisher = "{IOS B.V.}",
  title = "Routing messages through networks: an exercise in deadlock avoidance",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/21.ps",
  year = "1987",
}


    
      @article{LawsOfProgramming,
  author = "A. W. Roscoe and C.A.R. Hoare and He Jifeng and I.J. Hayes and C.C. Morgan and J.W. Sanders and I.H. Sorensen and J.M. Spivey and B.A. Sufrin",
  journal = "{Communications of the ACM}",
  month = "August",
  note = "Previously appeared as Oxford University Computing Laboratory Technical Report PRG-42.",
  number = "8",
  pages = "672--686",
  title = "Laws of programming",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/20.pdf",
  volume = "30",
  year = "1987",
}


    
      @article{PursuitDeadlockFreedom,
  author = "A. W. Roscoe and Naiem Dathi",
  journal = "{Information and Computation}",
  month = "December",
  number = "3",
  pages = "289--327",
  title = "The pursuit of deadlock freedom",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/18.ps",
  volume = "75",
  year = "1987",
}


    
      @techreport{OperationSemanticsCSP,
  author = "A. W. Roscoe and S. D. Brookes and D. J. Walker",
  institution = "{Oxford University Computing Laboratory}",
  title = "An Operational Semantics for {CSP}",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/26.ps",
  year = "1986",
}


    
      @techreport{DecompositionOfRectangle,
  author = "A. W. Roscoe and T.Y. Kong and D.M. Mount",
  institution = "{University of Maryland Center for Automation Research}",
  note = "Also SIAM Journal of Computing 17, 6 pp1215-1231.",
  number = "{CAR-TR-169}",
  title = "The decomposition of a rectangle into rectangles of minimal perimeter",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/25.pdf",
  year = "1986",
}


    
      @inproceedings{TimedModel,
  author = "A. W. Roscoe and G.M. Reed",
  booktitle = "{Proc.ICALP 86}",
  number = "226",
  pages = "314--323",
  publisher = "Springer",
  series = "{LNCS}",
  title = "A timed model for communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/17.pdf",
  year = "1986",
}


    
      @article{LocalSymmetry,
  author = "A. W. Roscoe and P.J. Collins",
  journal = "{Colloquia Mathematica Societatis Janos Bolyai 41}",
  pages = "177--181",
  title = "Local symmetry and triangle laws are sufficient for metrisability",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/16.pdf",
  year = "1985",
}


    
      @inproceedings{Trains,
  author = "A. W. Roscoe",
  booktitle = "{The Analysis of Concurrent Systems}",
  editor = "B.T. Denvir et al",
  number = "207",
  pages = "384--388",
  publisher = "Springer",
  series = "{LNCS}",
  title = "A {CSP} solution to the \emph{trains} problem",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/15.pdf",
  year = "1985",
}


    
      @inproceedings{SpecifyingProblemOne,
  author = "A. W. Roscoe",
  booktitle = "{The Analysis of Concurrent Systems}",
  editor = "B.T. Denvir et al",
  number = "207",
  pages = "103--109",
  publisher = "Springer",
  series = "{LNCS}",
  title = "Specifying problem one using the failures model for {CSP} and deriving {CSP} processes which meet this specification",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/14.pdf",
  year = "1985",
}


    
      @article{BinaryDigitalPictures,
  author = "A. W. Roscoe and T.Y. Kong",
  journal = "Computer Vision, Graphics and Image Processing",
  month = "November",
  number = "32",
  pages = "221--243",
  title = "A theory of binary digital pictures",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/13.pdf",
  year = "1985",
}


    
      @article{SimplyConnectedPolyhedra,
  author = "A. W. Roscoe and T.Y. Kong",
  journal = "{Bull. London Math. Soc.}",
  month = "November",
  number = "17",
  pages = "575--578",
  title = "Characterisations of simply-connected finite polyhedra in 3-space",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/12.pdf",
  year = "1985",
}


    
      @inproceedings{DeadlockAnalysis,
  author = "A. W. Roscoe and S.D. Brookes",
  booktitle = "{Logics and Models of Concurrent Systems}",
  editor = "K.R. Apt",
  pages = "305--324",
  publisher = "Springer",
  series = "NATO ASI series F",
  title = "Deadlock analysis in networks of communicating processes",
  volume = "13",
  year = "1985",
}


    
      @inproceedings{DenotationalSemanticsOccam,
  author = "A. W. Roscoe",
  booktitle = "Proceedings of the {Pittsburgh} seminar on concurrency",
  number = "197",
  pages = "306--329",
  publisher = "Springer",
  series = "LNCS",
  title = "Denotational semantics for occam",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/10.pdf",
  year = "1985",
}


    
      @inproceedings{AnImprovedFailuresModel,
  author = "A. W. Roscoe and S.D. Brookes",
  booktitle = "Proceedings of the {Pittsburgh} seminar on concurrency",
  number = "197",
  pages = "281--305",
  publisher = "Springer",
  series = "LNCS",
  title = "An improved failures model for communicating processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/9.pdf",
  year = "1985",
}


    
      @proceedings{PittsburghSeminarConcurrency,
  editor = "A. W. Roscoe and S.D. Brookes and G. Winskel",
  number = "197",
  publisher = "Springer",
  series = "LNCS",
  title = "Proceedings of the {Pittsburgh} seminar on concurrency",
  url = "http://www.springerlink.com/content/l11x0377l276/?p=888bb7ca2d8845db84c4663e9e7407e0&pi=0",
  year = "1985",
}


    
      @article{LatticeOfConditions,
  author = "A. W. Roscoe and P.J. Collins and G.M. Reed and M.E. Rudin",
  journal = "{Proc. Amer. Math. Soc.}",
  month = "July",
  number = "94",
  pages = "487--496",
  title = "A lattice of conditions on topological spaces",
  url = "http://www.jstor.org/view/00029939/di970933/97p0219l/0",
  year = "1985",
}


    
      @article{ContinuousAnalogues,
  author = "A. W. Roscoe and T.Y. Kong",
  journal = "{Computer Vision, Graphics and Image Processing}",
  month = "January",
  number = "29",
  pages = "60--86",
  title = "Continuous analogues of axiomatised digital surfaces",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/6.pdf",
  year = "1985",
}


    
      @inproceedings{ExecutablePredicates,
  author = "A. W. Roscoe and C.A.R. Hoare",
  booktitle = "{Proceedings of FGCS84 (ICOT, editors)}",
  pages = "220--228",
  title = "Programs as executable predicates",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/5.pdf",
  year = "1984",
}


    
      @article{ATheoryofCSP,
  author = "A. W. Roscoe and S.D. Brookes and C.A.R. Hoare",
  journal = "{Journal of the ACM}",
  month = "July",
  number = "3",
  pages = "560--599",
  series = "31",
  title = "A theory of communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/4.pdf",
  year = "1984",
}


    
      @article{MetrisabilityCriteria,
  author = "A. W. Roscoe and P.J. Collins",
  journal = "{Proc. Amer. Math. Soc.}",
  month = "April",
  number = "90",
  pages = "631-640",
  title = "Criteria for metrisability",
  url = "http://www.jstor.org/view/00029939/di970918/97p0476c/0",
  year = "1984",
}


    
      @phdthesis{AMathematicalTheory,
  author = "A. W. Roscoe",
  note = "Please note this is a 270 page, 118 Mb scanned file and will take some time to download.",
  school = "Oxford University",
  title = "A mathematical theory of communicating processes",
  type = "D. Phil. thesis",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/2.pdf",
  year = "1982",
}


    
      @techreport{ATheory,
  author = "A. W. Roscoe and S.D. Brookes and C. A. R. Hoare",
  institution = "Oxford University Computing Laboratory",
  month = "May",
  number = "{PRG-16}",
  title = "A theory of communicating sequential processes",
  url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/1.pdf",
  year = "1981",
}


    
      Warning - the bibtex entry below may be invalid: 
Missing 'author' field
Missing 'title' field
Missing 'booktitle' field 
Missing 'year' field 
@inproceedings{,
}