Conference contribution
(Original article)


Global Caching for the Alternation-free mu-Calculus


Publication Details
Author(s): Hausmann D, Schröder L, Egger C
Editor(s): Josée Desharnais, Radha Jagadeesan
Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik
Publishing place: Dagstuhl
Publication year: 2016
Title of series: LIPIcs
Volume: 59
Conference Proceedings Title: 27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{é}}bec City, Canada
Pages range: 34:1--34:15
ISBN: 978-3-95977-017-0

Event details
Event: 27th International Conference on Concurrency Theory, CONCUR 2016
Event location: Québec City
Start date of the event: 23/08/2016
End date of the event: 26/08/2016
Language: English



How to cite
APA: Hausmann, D., Schröder, L., & Egger, C. (2016). Global Caching for the Alternation-free mu-Calculus. In Josée Desharnais, Radha Jagadeesan (Eds.), 27th International Conference on Concurrency Theory, {CONCUR} 2016, August 23-26, 2016, Qu{é}}bec City, Canada (pp. 34:1--34:15). Québec City, CA: Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik.

MLA: Hausmann, Daniel, Lutz Schröder, and Christoph Egger. "Global Caching for the Alternation-free mu-Calculus." Proceedings of the 27th International Conference on Concurrency Theory, CONCUR 2016, Québec City Ed. Josée Desharnais, Radha Jagadeesan, Dagstuhl: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik, 2016. 34:1--34:15.

BibTeX: Download
Share link
Last updated on 2017-10-21 at 03:36
PDF downloaded successfully