A. W. Roscoe

According to our database, A. W. Roscoe authored at least 144 papers between 1982 and 2024.

Collaborative distances:

• Dijkstra number of two.
• Erdős number of three.

2024

A refinement-based approach to safe smart contract deployment and evolution.

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe, Filipe Arruda

Softw. Syst. Model., June, 2024

Trusted Deployer: A Tool for Safe Creation and Upgrade of Ethereum Smart Contracts.

Juliandson Ferreira, Pedro Antonino, Augusto Sampaio, A. W. Roscoe, Filipe Arruda

Proceedings of the Formal Methods: Foundations and Applications - 27th Brazilian Symposium, 2024

Extracting Formal Smart-Contract Specifications from Natural Language with LLMs.

Gabriel Leite, Filipe Arruda, Pedro Antonino, Augusto Sampaio, A. W. Roscoe

Proceedings of the Formal Aspects of Component Software - 20th International Conference, 2024

2023

Optimally-Fair Exchange of Secrets via Delay Encryption and Commutative Blinding.

Ivo Maffei, Andrew William Roscoe

Proceedings of the Financial Cryptography and Data Security, 2023

Optimally-Fair Multi-party Exchange Without Trusted Parties.

Ivo Maffei, A. W. Roscoe

Proceedings of the Computer Security - ESORICS 2023, 2023

The Consensus Machine: Formalising Consensus in the Presence of Malign Agents.

A. W. Roscoe, Pedro Antonino, Jonathan Lawrence

Proceedings of the Theories of Programming and Formal Methods, 2023

2022

Approximate verification of concurrent systems using token structures and invariants.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Int. J. Softw. Tools Technol. Transf., 2022

Delay Encryption by Cubing.

Ivo Maffei, A. W. Roscoe

CoRR, 2022

Specification is Law: Safe Creation and Upgrade of Ethereum Smart Contracts.

Pedro Antonino, Juliandson Ferreira, Augusto Sampaio, A. W. Roscoe

Proceedings of the Software Engineering and Formal Methods - 20th International Conference, 2022

Committable: A Decentralised and Trustless Open-Source Protocol.

Han Liu, Huafeng Zhang, Bangdao Chen, A. W. Roscoe

Proceedings of the IEEE International Conference on Blockchain and Cryptocurrency, 2022

2021

Trusted And Confidential Program Analysis.

Han Liu, Pedro Antonino, Zhiqiang Yang, Chao Liu, A. W. Roscoe

CoRR, 2021

Solidifier: bounded model checking solidity using lazy contract deployment and precise memory modelling.

Pedro Antonino, A. W. Roscoe

Proceedings of the SAC '21: The 36th ACM/SIGAPP Symposium on Applied Computing, 2021

Guardian: Symbolic Validation of Orderliness in SGX Enclaves.

Pedro Antonino, Wojciech Aleksander Woloszyn, A. W. Roscoe

Proceedings of the CCSW@CCS '21: Proceedings of the 2021 on Cloud Computing Security Workshop, 2021

CSP: A Practical Process Algebra.

Stephen D. Brookes, A. W. Roscoe

Proceedings of the Theories of Programming: The Life and Works of Tony Hoare, 2021

2020

Formalising and verifying smart contracts with Solidifier: a bounded model checker for Solidity.

Pedro Antonino, A. W. Roscoe

CoRR, 2020

Translating between models of concurrency.

David Mestel, A. W. Roscoe

Acta Informatica, 2020

Neural Network Security: Hiding CNN Parameters with Guided Grad-CAM.

Linda Guiga, A. W. Roscoe

Proceedings of the 6th International Conference on Information Systems Security and Privacy, 2020

2019

Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT Solving.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

ACM Trans. Softw. Eng. Methodol., 2019

Guest editorial for the special issue from the 18th Brazilian Symposium on Formal Methods (SBMF 2015).

Márcio Cornélio, A. W. Roscoe

Sci. Comput. Program., 2019

Partially-Fair Computation from Timed-Release Encryption and Oblivious Transfer.

Geoffroy Couteau, Bill Roscoe, Peter Y. A. Ryan

IACR Cryptol. ePrint Arch., 2019

Efficient verification of concurrent systems using local-analysis-based approximations and SAT solving.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Formal Aspects Comput., 2019

Key Agreement via Protocols.

Andrew William Roscoe, Lei Wang

Proceedings of the Foundations of Security, Protocols, and Equational Reasoning, 2019

2018

Process Algebra and Model Checking.

Rance Cleaveland, A. W. Roscoe, Scott A. Smolka

Proceedings of the Handbook of Model Checking., 2018

A Proof of Entropy Minimization for Outputs in Deletion Channels via Hidden Word Statistics.

Arash Atashpendar, David Mestel, A. W. Roscoe, Peter Y. A. Ryan

CoRR, 2018

From Clustering Supersequences to Entropy Minimizing Subsequences for Single and Double Deletions.

Arash Atashpendar, Marc Beunardeau, Aisling Connolly, Rémi Géraud, David Mestel, A. W. Roscoe, Peter Y. A. Ryan

CoRR, 2018

ReGuard: finding reentrancy bugs in smart contracts.

Chao Liu, Han Liu, Zhao Cao, Zhong Chen, Bangdao Chen, Bill Roscoe

Proceedings of the 40th International Conference on Software Engineering: Companion Proceeedings, 2018

2017

The Automatic Detection of Token Structures and Invariants Using SAT Checking.

Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2017

Auditable PAKEs: Approaching Fair Exchange Without a TTP.

A. W. Roscoe, Peter Y. A. Ryan

Proceedings of the Security Protocols XXV, 2017

Checking Static Properties Using Conservative SAT Approximations for Reachability.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Formal Methods: Foundations and Applications - 20th Brazilian Symposium, 2017

Software and Malware Capabilities: Opinions on (Inter)national Security.

Jantje A. M. Silomon, A. W. Roscoe

Proceedings of the 2017 International Conference on Cyberworlds, 2017

2016

FDR3: a parallel refinement checker for CSP.

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe

Int. J. Softw. Tools Technol. Transf., 2016

Rigorous development of component-based systems using component metadata and patterns.

Marcel Vinícius Medeiros Oliveira, Pedro Antonino, Rodrigo Ramos, Augusto Sampaio, Alexandre Cabral Mota, A. W. Roscoe

Formal Aspects Comput., 2016

Computing maximal weak and other bisimulations.

Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe

Formal Aspects Comput., 2016

Reducing Complex CSP Models to Traces via Priority.

David Mestel, A. W. Roscoe

Proceedings of the Thirty-second Conference on the Mathematical Foundations of Programming Semantics, 2016

Card games as pointer structures: case studies in mobile CSP modelling.

A. W. Roscoe

CoRR, 2016

Detecting Failed Attacks on Human-Interactive Security Protocols (Transcript of Discussion).

A. W. Roscoe

Proceedings of the Security Protocols XXIV, 2016

Detecting Failed Attacks on Human-Interactive Security Protocols.

A. W. Roscoe

Proceedings of the Security Protocols XXIV, 2016

Efficient Deadlock-Freedom Checking Using Local Analysis and SAT Solving.

Pedro Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Integrated Formal Methods - 12th International Conference, 2016

Tighter Reachability Criteria for Deadlock-Freedom Analysis.

Pedro R. G. Antonino, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the FM 2016: Formal Methods, 2016

2015

The Expressiveness of CSP With Priority.

A. W. Roscoe

Proceedings of the 31st Conference on the Mathematical Foundations of Programming Semantics, 2015

Information Leakage Due to Revealing Randomly Selected Bits.

Arash Atashpendar, A. W. Roscoe, Peter Y. A. Ryan

Proceedings of the Security Protocols XXIII - 23rd International Workshop, Cambridge, UK, March 31, 2015

Practical Partial Order Reduction for CSP.

Thomas Gibson-Robinson, Henri Hansen, A. W. Roscoe, Xu Wang

Proceedings of the NASA Formal Methods - 7th International Symposium, 2015

2014

FDR3 - A Modern Refinement Checker for CSP.

Thomas Gibson-Robinson, Philip J. Armstrong, Alexandre Boulgakov, A. W. Roscoe

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2014

Computing Maximal Bisimulations.

Alexandre Boulgakov, Thomas Gibson-Robinson, A. W. Roscoe

Proceedings of the Formal Methods and Software Engineering, 2014

Model checking Timed CSP.

Philip J. Armstrong, Gavin Lowe, Joël Ouaknine, Bill Roscoe

Proceedings of the HOWARD-60: A Festschrift on the Occasion of Howard Barringer's 60th Birthday, 2014

2013

Reverse Authentication in Financial Transactions and Identity Management.

Bangdao Chen, Long Hoang Nguyen, A. W. Roscoe

Mob. Networks Appl., 2013

Human interactive secure key and identity exchange protocols in body sensor networks.

Xin Huang, Bangdao Chen, Andrew Markham, Qinghua Wang, Zheng Yan, A. W. Roscoe

IET Inf. Secur., 2013

Checking noninterference in Timed CSP.

A. W. Roscoe, Jian Huang

Formal Aspects Comput., 2013

A Static Analysis Framework for Livelock Freedom in CSP

Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Log. Methods Comput. Sci., 2013

Slow Abstraction via Priority.

A. W. Roscoe, Philippa J. Hopcroft

Proceedings of the Theories of Programming and Formal Methods, 2013

2012

SAT-solving in CSP trace refinement.

Hristina Palikareva, Joël Ouaknine, A. W. Roscoe

Sci. Comput. Program., 2012

Human Interactive Secure ID Management in Body Sensor Networks.

Xin Huang, Xiao Ma, Bangdao Chen, Andrew Markham, Qinghua Wang, Andrew William Roscoe

J. Networks, 2012

Simple construction of epsilon-biased distribution.

Long Hoang Nguyen, Andrew William Roscoe

IACR Cryptol. ePrint Arch., 2012

Social Networks for Importing and Exporting Security.

Bangdao Chen, A. W. Roscoe

Proceedings of the Large-Scale Complex IT Systems. Development, Operation and Management, 2012

Bootstrapping body sensor networks using human controlled LED-camera channels.

Xin Huang, Shangyuan Guo, Bangdao Chen, A. W. Roscoe

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012

User interactive Internet of things privacy preserved access control.

Xin Huang, Rong Fu, Bangdao Chen, Tingting Zhang, A. W. Roscoe

Proceedings of the 7th International Conference for Internet Technology and Secured Transactions, 2012

Short-Output Universal Hash Functions and Their Use in Fast and Secure Data Authentication.

Long Hoang Nguyen, A. W. Roscoe

Proceedings of the Fast Software Encryption - 19th International Workshop, 2012

Recent Developments in FDR.

Philip J. Armstrong, Michael Goldsmith, Gavin Lowe, Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Proceedings of the Computer Aided Verification - 24th International Conference, 2012

2011

CSP (Communicating Sequential Processes).

A. W. Roscoe, Jim Davies

Proceedings of the Encyclopedia of Parallel Computing, 2011

Authentication protocols based on low-bandwidth unspoofable channels: A comparative survey.

Long Hoang Nguyen, A. W. Roscoe

J. Comput. Secur., 2011

On the construction of digest functions for manual authentication protocols.

Long Hoang Nguyen, Andrew William Roscoe

IACR Cryptol. ePrint Arch., 2011

Mobile Electronic Identity: Securing Payment on Mobile Phones.

Chen Bangdao, A. W. Roscoe

Proceedings of the Information Security Theory and Practice. Security and Privacy of Mobile Devices in Wireless Communication, 2011

When Context Is Better Than Identity: Authentication by Context Using Empirical Channels.

Bangdao Chen, Long Hoang Nguyen, Andrew William Roscoe

Proceedings of the Security Protocols XIX, 2011

Body sensor network key distribution using human interactive channels.

Xin Huang, Qinghua Wang, Chen Bangdao, Andrew Markham, Riku Jäntti, A. W. Roscoe

Proceedings of the 4th International Symposium on Applied Sciences in Biomedical and Communication Technologies, 2011

Static Livelock Analysis in CSP.

Joël Ouaknine, Hristina Palikareva, A. W. Roscoe, James Worrell

Proceedings of the CONCUR 2011 - Concurrency Theory - 22nd International Conference, 2011

2010

Understanding Concurrent Systems.

A. W. Roscoe

Texts in Computer Science, Springer, ISBN: 978-1-84882-258-0, 2010

Secure and Usable Out-Of-Band Channels for <i>Ad Hoc</i> Mobile Device Interactions.

Ronald Kainda, Ivan Flechais, A. W. Roscoe

Proceedings of the Information Security Theory and Practices. Security and Privacy of Pervasive Systems and Smart Devices, 2010

Two heads are better than one: security and usability of device associations in group scenarios.

Ronald Kainda, Ivan Flechais, A. W. Roscoe

Proceedings of the Sixth Symposium on Usable Privacy and Security, 2010

The Missing Link: Human Interactive Security Protocols in Mobile Payment.

Chen Bangdao, A. W. Roscoe, Ronald Kainda, Long Hoang Nguyen

Proceedings of the Advances in Information and Computer Security, 2010

Security and Usability: Analysis and Evaluation.

Ronald Kainda, Ivan Flechais, A. W. Roscoe

Proceedings of the ARES 2010, 2010

CSP is Expressive Enough for <i>π</i>.

A. W. Roscoe

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

Insight, Inspiration and Collaboration.

Clifford B. Jones, A. W. Roscoe

Proceedings of the Reflections on the Work of C. A. R. Hoare., 2010

2009

Revivals, stuckness and the hierarchy of CSP models.

A. W. Roscoe

J. Log. Algebraic Methods Program., 2009

New combinatorial bounds for universal hash functions.

Long Hoang Nguyen, A. W. Roscoe

IACR Cryptol. ePrint Arch., 2009

Efficient group authentication protocols based on human interaction.

Long Hoang Nguyen, A. W. Roscoe

IACR Cryptol. ePrint Arch., 2009

Separating two roles of hashing in one-way message authentication.

Long Hoang Nguyen, A. W. Roscoe

IACR Cryptol. ePrint Arch., 2009

Faster FDR Counterexample Generation Using SAT-Solving.

Hristina Palikareva, Joël Ouaknine, Bill Roscoe

Electron. Commun. Eur. Assoc. Softw. Sci. Technol., 2009

Usability and security of out-of-band channels in secure device pairing protocols.

Ronald Kainda, Ivan Flechais, A. W. Roscoe

Proceedings of the 5th Symposium on Usable Privacy and Security, 2009

Local Search in Model Checking.

A. W. Roscoe, Philip J. Armstrong, Pragyesh

Proceedings of the Automated Technology for Verification and Analysis, 2009

2008

Authenticating ad hoc networks by comparison of short digests.

Long Hoang Nguyen, A. W. Roscoe

Inf. Comput., 2008

Nets with Tokens which Carry Data.

Ranko Lazic, Thomas Christopher Newcomb, Joël Ouaknine, A. W. Roscoe, James Worrell

Fundam. Informaticae, 2008

The Three Platonic Models of Divergence-Strict CSP.

A. W. Roscoe

Proceedings of the Theoretical Aspects of Computing, 2008

A Representative Function Approach to Symmetry Exploitation for CSP Refinement Checking.

Nick Moffat, Michael Goldsmith, Bill Roscoe

Proceedings of the Formal Methods and Software Engineering, 2008

2007

Responsiveness and stable revivals.

Joy N. Reed, A. W. Roscoe, Jane E. Sinclair

Formal Aspects Comput., 2007

Preface.

Michael Goldsmith, Bill Roscoe

Proceedings of the Seventh International Workshop on Automated Verification of Critical Systems, 2007

2006

Extending noninterference properties to the timed world.

Jian Huang, A. W. Roscoe

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Bootstrapping multi-party ad-hoc security.

Sadie Creese, Michael Goldsmith, Bill Roscoe, Ming Xiao

Proceedings of the 2006 ACM Symposium on Applied Computing (SAC), 2006

Verifying Statemate Statecharts Using CSP and FDR.

A. W. Roscoe, Zhenzhong Wu

Proceedings of the Formal Methods and Software Engineering, 2006

2005

On the expressive power of CSP refinement.

A. W. Roscoe

Formal Aspects Comput., 2005

Confluence Thanks to Extensional Determinism.

A. W. Roscoe

Proceedings of the Workshop "Essays on Algebraic Process Calculi", 2005

Machine-Verifiable Responsiveness.

Joy N. Reed, A. W. Roscoe, Jane E. Sinclair

Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005

A Taxonomy of Web Services Using CSP.

Lee Momtahan, Andrew P. Martin, A. W. Roscoe

Proceedings of the International Workshop on Web Languages and Formal Methods, 2005

On the Relationship Between Web Services Security and Traditional Protocols.

E. Kleiner, A. W. Roscoe

Proceedings of the 21st Annual Conference on Mathematical Foundations of Programming Semantics, 2005

Exploiting Empirical Engagement in Authentication Protocol Design.

Sadie Creese, Michael Goldsmith, Richard Harrison, Bill Roscoe, Paul Whittaker, Irfan Zakiuddin

Proceedings of the Security in Pervasive Computing, Second International Conference, 2005

2004

On model checking data-independent systems with arrays without reset.

Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe

Theory Pract. Log. Program., 2004

Embedding agents within the intruder to detect parallel attacks.

Philippa J. Broadfoot, A. W. Roscoe

J. Comput. Secur., 2004

Responsiveness of interoperating components.

Joy N. Reed, Jane E. Sinclair, A. W. Roscoe

Formal Aspects Comput., 2004

Polymorphic Systems with Arrays, 2-Counter Machines and Multiset Rewriting.

Ranko Lazic, Thomas Christopher Newcomb, Bill Roscoe

Proceedings of the 6th International Workshop on Verification of Infinite-State Systems, 2004

Relating Data Independent Trace Checks in CSP with UNITY Reachability under a Normality Assumption.

Xu Wang, A. W. Roscoe, Ranko Lazic

Proceedings of the Integrated Formal Methods, 4th International Conference, 2004

Seeing Beyond Divergence.

A. W. Roscoe

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

On Model Checking Data-Independent Systems with Arrays with Whole-Array Operations.

Ranko Lazic, Thomas Christopher Newcomb, A. W. Roscoe

Proceedings of the Communicating Sequential Processes: The First 25 Years, 2004

2003

Authentication for Pervasive Computing.

Sadie Creese, Michael Goldsmith, Bill Roscoe, Irfan Zakiuddin

Proceedings of the Security in Pervasive Computing, 2003

Watchdog Transformations for Property-Oriented Model-Checking.

Michael Goldsmith, Nick Moffat, Bill Roscoe, Tim Whitworth, Irfan Zakiuddin

Proceedings of the FME 2003: Formal Methods, 2003

2002

Capturing Parallel Attacks within the Data Independence Framework.

Philippa J. Broadfoot, A. W. Roscoe

Proceedings of the 15th IEEE Computer Security Foundations Workshop (CSFW-15 2002), 2002

2000

Data independent verification of crypto-protocols.

A. W. Roscoe, Philippa J. Broadfoot, Gavin Lowe

Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000

Tutorial on FDR and Its Applications.

Philippa J. Broadfoot, A. W. Roscoe

Proceedings of the SPIN Model Checking and Software Verification, 7th International SPIN Workshop, Stanford, CA, USA, August 30, 2000

Data Independent Induction over Structured Networks.

S. J. Creese, A. W. Roscoe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 2000

Automating Data Independence.

Philippa J. Broadfoot, Gavin Lowe, A. W. Roscoe

Proceedings of the Computer Security, 2000

1999

The Timed Failures-Stability Model for CSP.

George M. Reed, A. W. Roscoe

Theor. Comput. Sci., 1999

Proving Security Protocols with Model Checkers by Data Independence Techniques.

A. W. Roscoe, Philippa J. Broadfoot

J. Comput. Secur., 1999

Data Independence with Generalised Predicate Symbols.

Ranko Lazic, Bill Roscoe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Formal Verification of Arbitrary Network Topologies.

S. J. Creese, A. W. Roscoe

Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999

Verifying an infinite family of inductions simultaneously using data independence and FDR.

S. J. Creese, A. W. Roscoe

Proceedings of the Formal Methods for Protocol Engineering and Distributed Systems, 1999

What Is Intransitive Noninterference?

A. W. Roscoe, M. H. Goldsmith

Proceedings of the 12th IEEE Computer Security Foundations Workshop, 1999

1998

Proving Security Protocols with Model Checkers by Data Independence Techniques.

A. W. Roscoe

Proceedings of the 11th IEEE Computer Security Foundations Workshop, 1998

1997

Using CSP to Detect Errors in the TMN Protocol.

Gavin Lowe, A. W. Roscoe

IEEE Trans. Software Eng., 1997

1996

Non-interference through Determinism.

A. W. Roscoe, Jim Woodcock, Lars Wulf

J. Comput. Secur., 1996

Intensional specifications of security protocols.

A. W. Roscoe

Proceedings of the Ninth IEEE Computer Security Foundations Workshop, March 10, 1996

1995

Fixed Points Without Completeness.

Michael W. Mislove, A. W. Roscoe, Steve A. Schneider

Theor. Comput. Sci., 1995

Hierarchical Compression for Model-Checking CSP or How to Check 10²⁰ Dining Philosophers for Deadlock.

A. W. Roscoe, Paul H. B. Gardiner, Michael Goldsmith, J. R. Hulance, D. M. Jackson, J. Bryan Scattergood

Proceedings of the Tools and Algorithms for Construction and Analysis of Systems, 1995

CSP and determinism in security modelling.

A. W. Roscoe

Proceedings of the 1995 IEEE Symposium on Security and Privacy, 1995

Composing and decomposing systems under security properties.

A. W. Roscoe, Lars Wulf

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995

Modelling and verifying key-exchange protocols using CSP and FDR.

A. W. Roscoe

Proceedings of the Eighth IEEE Computer Security Foundations Workshop (CSFW '95), 1995

1993

Unbounded Non-Determinism in CSP.

A. W. Roscoe

J. Log. Comput., 1993

1992

An Alternative Order for the Failures Model.

A. W. Roscoe

J. Log. Comput., 1992

1991

Deadlock Analysis in Networks of Communicating Processes.

Stephen D. Brookes, A. W. Roscoe

Distributed Comput., 1991

Timed CSP: Theory and Practice.

Steve A. Schneider, Jim Davies, D. M. Jackson, George M. Reed, Joy N. Reed, A. W. Roscoe

Proceedings of the Real-Time: Theory in Practice, 1991

1989

Unbounded Nondeterminism in CSP.

A. W. Roscoe, Geoff Barrett

Proceedings of the Mathematical Foundations of Programming Semantics, 5th International Conference, Tulane University, New Orleans, Louisiana, USA, March 29, 1989

Analysing <i>TM_FS</i>: a Study of Nondeterminism in Real-Time Concurrency.

George M. Reed, A. W. Roscoe

Proceedings of the Concurrency: Theory, 1989

1988

The Laws of Occam Programming.

A. W. Roscoe, C. A. R. Hoare

Theor. Comput. Sci., 1988

A Timed Model for Communicating Sequential Processes.

George M. Reed, A. W. Roscoe

Theor. Comput. Sci., 1988

The Decomposition of a Rectangle into Rectangles of Minimal Perimeter.

T. Yung Kong, David M. Mount, A. W. Roscoe

SIAM J. Comput., 1988

1987

The Pursuit of Deadlock freedom

A. W. Roscoe, Naiem Dathi

Inf. Comput., December, 1987

Laws of Programming.

C. A. R. Hoare, Ian J. Hayes, Jifeng He, Carroll Morgan, A. W. Roscoe, Jeff W. Sanders, Ib Holm Sørensen, J. Michael Spivey, Bernard Sufrin

Commun. ACM, 1987

Metric Spaces as Models for Real-Time Concurrency.

George M. Reed, A. W. Roscoe

Proceedings of the Mathematical Foundations of Programming Language Semantics, 1987

1985

A theory of binary digital pictures.

T. Yung Kong, A. W. Roscoe

Comput. Vis. Graph. Image Process., 1985

Continuous analogs of axiomatized digital surfaces.

T. Yung Kong, A. W. Roscoe

Comput. Vis. Graph. Image Process., 1985

1984

A Theory of Communicating Sequential Processes.

Stephen D. Brookes, C. A. R. Hoare, A. W. Roscoe

J. ACM, 1984

Programs as Executable Predicates.

C. A. R. Hoare, A. W. Roscoe

Proceedings of the International Conference on Fifth Generation Computer Systems, 1984

Denotational Semantics for occam.

A. W. Roscoe

Proceedings of the Seminar on Concurrency, 1984

An Improved Failures Model for Communicating Processes.

Stephen D. Brookes, A. W. Roscoe

Proceedings of the Seminar on Concurrency, 1984

1983

A CSP solution to the "trains" problem.

A. W. Roscoe

Proceedings of the Analysis of Concurrent Systems, 1983

Specifying problem one using the failure sets model for CSP and deriving CSP processes which meett this specification.

A. W. Roscoe

Proceedings of the Analysis of Concurrent Systems, 1983

1982

A mathematical theory of communicating processes.

Andrew William Roscoe

PhD thesis, 1982