# Concurrency: Publications

Click here to download all publications in a single bibtex file

@inproceedings{Bate13, title = "{Scalable Performance for Scala Message-Passing Concurrency}", author = "Bate, Andrew", year = "2013", booktitle = "{Communicating Process Architectures 2013}", editor = "Welch, Peter H. and Barnes, Frederick R. M. and Broenink, Jan F. and Chalmers, Kevin and Pedersen, Jan B{\ae}kgaard and Sampson, Adam T.", isbn = "978-0-9565409-7-3", month = "nov", pages = "113--132", }

@inproceedings{BateLowe12, title = "{A Debugger for Communicating Scala Objects}", author = "Andrew Bate and Gavin Lowe", year = "2012", booktitle = "{Communicating Process Architectures 2012}", editor = "Welch, Peter H. and Barnes, Frederick R. M. and Chalmers, Kevin and Pedersen, Jan B{\ae}kgaard and Sampson, Adam T.", isbn = "978-0-9565409-5-9", month = "aug", pages = "135--154", }

@article{exprcsp, title = "On the expressiveness of CSP", author = "A.W. Roscoe", year = "2011", note = "Draft of February 2011, which is very different from previous draft (2008).", }

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

@article{temporal-logic, title = "Specification of communicating processes: temporal logic versus refusals-based refinement", author = "Gavin Lowe", year = "2008", journal = "Formal Aspects of Computing", }

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

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

@inproceedings{mazur:2008, title = "Formal verification of not fully symmetric systems using counter abstraction", author = "Tomasz Mazur", year = "2008", booktitle = "Proceedings of the MOdelling and VErifying Process (MOVEP'08)", url = "http://web.comlab.ox.ac.uk/people/tomasz.mazur/publications/tomasz_mazur-movep08-phd.pdf", }

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

@incollection{ckr2007, title = "Static Analysis to Enhance the Power of Model Checking for Concurrent Software", author = "Clarke, Edmund and Kroening, Daniel and Reps, Thomas", year = "2007", booktitle = "Department of Defense Sponsored Information Security Research", isbn = "0-471-78756-6", month = "July", pages = "349--360", publisher = "Wiley", }

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

@article{cks2007-tcs, title = "Verification of {Boolean} Programs with Unbounded Thread Creation", author = "Cook, Byron and Kroening, Daniel and Sharygina, Natasha", year = "2007", journal = "Theoretical Computer Science (TCS)", pages = "227--242", publisher = "Elsevier", volume = "388", }

@inproceedings{wbwk2007, title = "Model Checking Concurrent {Linux} Device Drivers", author = "Witkowski, Thomas and Blanc, Nicolas and Weissenbacher, Georg and Kroening, Daniel", year = "2007", booktitle = "22nd IEEE International Conference on Automated Software Engineering (ASE)", isbn = "978-1-59593-882-4", pages = "501--504", publisher = "IEEE", url = "http://doi.acm.org/10.1145/1321631.1321719", doi = "10.1145/1321631.1321719", }

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

@inproceedings{mazur:2007, title = "Counter Abstraction in the CSP/FDR setting", author = "Tomasz Mazur and Gavin Lowe", year = "2007", booktitle = "Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems (AVoCS'07)", url = "http://web.comlab.ox.ac.uk/people/tomasz.mazur/publications/counterabstraction_AVoCS.pdf", }

@conference{harness, title = "On CSP refinement tests that run multiple copies of a process", author = "Gavin Lowe", year = "2007", journal = "Proceedings of Workshop on Automated Verification of Critical Systems (AVoCS 2007)", }

@article{journals/entcs/LoweO06, title = "On Timed Models and Full Abstraction", author = "Gavin Lowe and Jo{\"e}l Ouaknine", year = "2006", journal = "Electr. Notes Theor. Comput. Sci.", pages = "497-519", url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/timedTesting.ps", volume = "155", doi = "10.1016/j.entcs.2005.11.070", }

@inproceedings{VerifyingStalemate, title = "{Verifying Statemate Statecharts Using CSP and FDR}", author = "A. W. Roscoe and Zhenzhong Wu", year = "2006", booktitle = "{Proceedings of ICFEM 2006}", url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/115.pdf", }

@unpublished{modellingUnbounded, title = "Modelling unbounded parallel sessions of security protocols in {CSP}", author = "A. W. Roscoe and E. Kleiner", year = "2006", url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/114.pdf", }

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

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

@article{journals/tcs/BoltonL05, title = "A hierarchy of failures-based models: theory and application", author = "Christie Bolton and Gavin Lowe", year = "2005", journal = "Theoretical Computer Science", number = "3", pages = "407-438", url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/EXPRESS.ps", volume = "330", doi = "10.1016/j.tcs.2004.10.004", }

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

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

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

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

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

@techreport{RR-04-22, title = "A taxonomy of web services using CSP", author = "Lee Momtahan and Andrew Martin and A. W. Roscoe", year = "2004", institution = "Oxford University Computing Laboratory", month = "October", number = "RR-04-22", }

@article{journals/entcs/BoltonL04, title = "A Hierarchy of Failures-Based Models", author = "Christie Bolton and Gavin Lowe", year = "2004", journal = "Electr. Notes Theor. Comput. Sci.", pages = "129-152", volume = "96", doi = "10.1016/j.entcs.2004.04.025", }

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

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

@inproceedings{inproc/avis, title = "On the Application of Counterexample-Guided Abstraction refinement and data independence to the parameterised model checking problem", author = "Gavin Lowe", year = "2004", booktitle = "{Proceedings of the Third International Workshop on Automatic Verification of Infinite-State Systems, (AVIS 2004)}", url = "http://web.comlab.ox.ac.uk/oucl/work/gavin.lowe/Papers/CEGAR.ps", }

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

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

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

@techreport{UNITYunreachability, title = "{Translating CSP trace refinement to UNITY unreachability : a study in data independence}", author = "A. W. Roscoe and Xu Wang and R.S. Lazic", year = "2003", institution = "Oxford University Computing Laboratory", month = "April", number = "RR-03-08", url = "http://web.comlab.ox.ac.uk/oucl/work/bill.roscoe/publications/93.ps", }

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

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

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

@techreport{Bisimulation, title = "Bisimulation and refinement reconciled", 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", year = "2003", institution = "Microsoft", }

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

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

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

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

@inproceedings{Compiling, title = "{Compiling Shared Variable Programs into CSP}", author = "A. W. Roscoe", year = "2001", booktitle = "{Proceedings of PROGRESS workshop 2001}", }

@inbook{SuccessesAndFailures, title = "The successes and failures of behavioural models", author = "A. W. Roscoe and R. Forster and G.M. Reed", year = "2000", booktitle = "Millennial Perspectives in Computer Science", publisher = "Palgrave", url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/78.pdf", }

@inproceedings{conf/esorics/BroadfootLR00, title = "Automating Data Independence", author = "Philippa J. Broadfoot and Gavin Lowe and A. W. Roscoe", year = "2000", booktitle = "Computer Security - ESORICS 2000, 6th European Symposium on Research in Computer Security, Toulouse, France, October 4-6, 2000, Proceedings", editor = "Fr{\'e}d{\'e}ric Cuppens and Yves Deswarte and Dieter Gollmann and Michael Waidner", isbn = "3-540-41031-7", pages = "175-190", publisher = "Springer", series = "Lecture Notes in Computer Science", url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Security/Papers/BLR_esorics00.ps", volume = "1895", doi = "10.1007/10722599_11", }

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

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

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

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

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

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

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

@book{theoryAndPractice, title = "The theory and practice of concurrency", author = "A. W. Roscoe", year = "1998", isbn = "0-13-6774409-5", note = "The text book teaching material can be found at \url{http://www.comlab.ox.ac.uk/publications/books/concurrency/}", publisher = "{Prentice Hall}", url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/68b.pdf", }

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

@inbook{specificationOfAParallelSystem, title = "{A Case Study of the Formal Specification of a Parallel System using CSP}", author = "A. W. Roscoe and S. Kiyamura", year = "1997", booktitle = "Correct Models of Parallel Computing", editor = "S. Noguchi and M. Ota", publisher = "{IOS Press}", }

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

@article{journals/tcs/Lowe95, title = "Probabilistic and Prioritized Models of Timed CSP", author = "Gavin Lowe", year = "1995", journal = "Theor. Comput. Sci.", number = "2", pages = "315-352", url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/Probs/MFPS.ps.gz", volume = "138", doi = "10.1016/0304-3975(94)00171-E", }

@article{journals/cj/Lowe95, title = "Scheduling-Oriented Models for Real-Time Systems", author = "Gavin Lowe", year = "1995", journal = "The Computer Journal", number = "6", pages = "443-456", url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/TAM/scheduling.ps.gz", volume = "38", }

@article{journals/cj/LoweZ95, title = "Refinement of Complex Systems: A Case Study", author = "Gavin Lowe and Hussein Zedan", year = "1995", journal = "The Computer Journal", number = "10", pages = "785-800", url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/TAM/casestudy.ps.gz", volume = "38", }

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

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

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

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

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

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

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

@phdthesis{/thesis/Lowe93, title = "{Probabilities and Priorities in Timed CSP}", author = "Gavin Lowe", year = "1993", school = "Oxford University Computing Laboratory", url = "http://www.cs.ox.ac.uk/people/gavin.lowe/Papers/Probs/thesis.ps.gz", }

@article{occamMicroprocessors, title = "Occam in the specification and verification of microprocessors", author = "A. W. Roscoe", year = "1992", 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", url = "http://www.jstor.org/view/09628428/ap000030/00a00150/0", volume = "339", }

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

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

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

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

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

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

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

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

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

@techreport{UnboundedNondeterminism1, title = "Unbounded nondeterminism in {CSP}", author = "A. W. Roscoe", year = "1988", 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", url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/28.ps", }

@techreport{AlternativeOrder, title = "An alternative order for the failures model", author = "A. W. Roscoe", year = "1988", 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", url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/27.ps", }

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

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

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

@inproceedings{MetricSpaces, title = "Metric spaces as models for real-time concurrency", author = "A. W. Roscoe and G.M. Reed", year = "1988", 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", url = "http://www.cs.ox.ac.uk/people/bill.roscoe/publications/19.pdf", }

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

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

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

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

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

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

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

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

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

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

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

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

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

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