Author:
Antonino Pedro,Gibson-Robinson Thomas,Roscoe A. W.
Publisher
Springer Science and Business Media LLC
Subject
Information Systems,Software
Reference55 articles.
1. Agerwala, T., Choed-Amphai, Y.C.: A synthesis rule for concurrent systems. In: Design Automation, 1978. 15th Conference on, pp. 305–311. IEEE (1978)
2. Andrews, G.R., Schneider, F.B.: Concepts and notations for concurrent programming. ACM Comput. Surv. 15(1), 3–43 (1983)
3. Antonino, P.: Verifying concurrent systems by approximations. DPhil thesis, University of Oxford (2018). https://ora.ox.ac.uk/objects/uuid:f75c782c-a168-49b3-bfed-e2715f027157
4. Antonino, P., Gibson-Robinson, T., Roscoe, A.: Efficient deadlock-freedom checking using local analysis and SAT solving. In: IFM, no. 9681 in LNCS, pp. 345–360. Springer (2016)
5. Antonino, P., Gibson-Robinson, T., Roscoe, A.: Tighter reachability criteria for deadlock freedom analysis. In: FM, no. 9995 in LNCS. Springer (2016)