Size-Change Abstraction and Max-Plus Automata
From MaRDI portal
Publication:2922015
DOI10.1007/978-3-662-44522-8_18zbMath1425.68190OpenAlexW80442178MaRDI QIDQ2922015
Thomas Colcombet, Florian Zuleger, Laure Daviaud
Publication date: 14 October 2014
Published in: Mathematical Foundations of Computer Science 2014 (Search for Journal in Brave)
Full work available at URL: https://openaccess.city.ac.uk/id/eprint/21300/1/main_max_plus.pdf
Related Items
ATLAS: automated amortised complexity analysis of self-adjusting data structures, Asymptotically Precise Ranking Functions for Deterministic Size-Change Systems, Complexity and resource bound analysis of imperative programs using difference constraints, Unnamed Item, The factorisation forest theorem, The Shortest Identities for Max-Plus Automata with Two States., Comparison of max-plus automata and joint spectral radius of tropical matrices, Type-based analysis of logarithmic amortised complexity