Global Caching for the Alternation-free mu-Calculus

Hausmann D, Schröder L, Egger C (2016)


Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2016

Publisher: Schloss Dagstuhl - Leibniz-Zentrum fuer Informatik

Series: LIPIcs

City/Town: Dagstuhl

Book Volume: 59

Pages Range: 34:1--34:15

Conference Proceedings Title: 27th International Conference on Concurrency Theory, CONCUR 2016, August 23-26, 2016, Québec City, Canada

Event location: Québec City CA

ISBN: 978-3-95977-017-0

URI: http://www.dagstuhl.de/dagpub/978-3-95977-017-0

DOI: 10.4230/LIPIcs.CONCUR.2016.34

Open Access Link: http://www.dagstuhl.de/dagpub/978-3-95977-017-0

Authors with CRIS profile

Related research project(s)

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