A.W. Roscoe

Identifiers

No identifiers captured yet.

Papers (3)

1. Translating between models of concurrency cs.FL · 2019 · author #2
2. Card games as pointer structures: case studies in mobile CSP modelling cs.SE · 2016 · author #1
3. On model checking data-independent systems with arrays without reset cs.LO · 2004 · author #3

Mentions

No mention provenance yet.

Frequent Coauthors

• David Mestel 1 shared papers
• R.S. Lazic 1 shared papers
• T.C. Newcomb 1 shared papers