Author:
Björklund Henrik,Bojańczyk Mikołaj
Publisher
Springer Berlin Heidelberg
Cited by
9 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Leafy automata for higher-order concurrency;Lecture Notes in Computer Science;2021
2. On Freeze LTL with Ordered Attributes;Lecture Notes in Computer Science;2016
3. Weak and Nested Class Memory Automata;Language and Automata Theory and Applications;2015
4. Ordered Navigation on Multi-attributed Data Words;CONCUR 2014 – Concurrency Theory;2014
5. Shuffled languages—Representation and recognition;Theoretical Computer Science;2013-06