Cited By
View all- Antonino PGibson-Robinson TRoscoe A(2022)Approximate verification of concurrent systems using token structures and invariantsInternational Journal on Software Tools for Technology Transfer (STTT)10.1007/s10009-022-00650-624:4(613-633)Online publication date: 1-Aug-2022
- Brookes SRoscoe A(2021)CSP: A Practical Process AlgebraTheories of Programming10.1145/3477355.3477365(187-222)Online publication date: 4-Oct-2021
- Antonino PGibson-Robinson TRoscoe A(2019)Efficient Verification of Concurrent Systems Using Synchronisation Analysis and SAT/SMT SolvingACM Transactions on Software Engineering and Methodology10.1145/333514928:3(1-43)Online publication date: 18-Jul-2019
- Show More Cited By