Alex Dixon

Publication Activity (10 Years)

Years Active: 2020-2023
Publications (10 Years): 5

Top Topics

Concurrency Control Protocols

Top Venues

Publications

Alex Dixon, Andrzej S. Murawski
Saturating automata for game semantics. CoRR (2023)
Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz
Verifying higher-order concurrency with data automata. LICS (2021)
Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz
Leafy Automata for Higher-Order Concurrency. CoRR (2021)
Alex Dixon, Ranko Lazic, Andrzej S. Murawski, Igor Walukiewicz
Leafy automata for higher-order concurrency. FoSSaCS (2021)
Alex Dixon, Ranko Lazic
KReach: A Tool for Reachability in Petri Nets. TACAS (1) (2020)