Number of items: 4.
Dixon, Alex
(2022)
Vector addition systems and their applications in the verification of computer programs.
PhD thesis, University of Warwick.
Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S. and Walukiewicz, Igor
(2021)
Verifying higher-order concurrency with data automata.
In: ACM/IEEE LICS 2021 : 36th Annual Symposium on Logic in Computer Science, Virtual conference, 29 Jun - 2 Jul 2021. Published in: 2021 36th Annual ACM/IEEE Symposium on Logic in Computer Science (LICS)
ISBN 9781665448963.
doi:10.1109/LICS52264.2021.9470691
Dixon, Alex, Lazic, Ranko, Murawski, Andrzej S. and Walukiewicz, Igor
(2021)
Leafy automata for higher-order concurrency.
In: FoSSaCS 21 , Virtual conference, 27 Mar-1 Apr 2021. Published in: FOSSACS 2021: Foundations of Software Science and Computation Structures , 12650
pp. 184-204.
ISBN 9783030719944.
doi:10.1007/978-3-030-71995-1_10
Dixon, Alex and Lazic, Ranko
(2019)
KReach : a tool for reachability in petri nets.
In: TACAS 2020 : 26th International Conference on Tools and Algorithms for the Construction and Analysis of Systems, Dublin, Ireland, 25-30 Apr 2020. Published in: Tools and Algorithms for the Construction and Analysis of Systems. TACAS 2020. , 12078
pp. 405-412.
ISBN 9783030451899.
doi:10.1007/978-3-030-45190-5_22
This list was generated on Fri Apr 19 12:45:36 2024 BST.