Weak and Nested Class Memory Automata.

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

Browse the full LATA paper archive.