Conrad Cotton-Barratt

According to our database, Conrad Cotton-Barratt authored at least 5 papers between 2015 and 2019.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2019

ML, Visibly Pushdown Class Memory Automata, and Extended Branching Vector Addition Systems with States.

Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong

ACM Trans. Program. Lang. Syst., 2019

2017

ML and Extended Branching VASS.

Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong

Proceedings of the Programming Languages and Systems, 2017

2016

Using class memory automata in algorithmic game semantics.

Conrad Cotton-Barratt

PhD thesis, 2016

2015

Weak and Nested Class Memory Automata.

Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong

Proceedings of the Language and Automata Theory and Applications, 2015

Fragments of ML Decidable by Nested Data Class Memory Automata.

Conrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong

Proceedings of the Foundations of Software Science and Computation Structures, 2015