Weak and Nested Class Memory Automata - researchr publication related

researchr

You are not signed in
Sign in
Sign up

Conrad Cotton-Barratt, Andrzej S. Murawski, C.-H. Luke Ong. Weak and Nested Class Memory Automata. In Adrian Horia Dediu, Enrico Formenti, Carlos Martín-Vide, Bianca Truthe, editors, Language and Automata Theory and Applications - 9th International Conference, LATA 2015, Nice, France, March 2-6, 2015, Proceedings. Volume 8977 of Lecture Notes in Computer Science, pages 188-199, Springer, 2015. [doi]

The following publications are possibly variants of this publication:

Fragments of ML Decidable by Nested Data Class Memory AutomataConrad Cotton-Barratt, David Hopkins, Andrzej S. Murawski, C.-H. Luke Ong. fossacs 2015: 249-263 [doi]

runs on WebDSL