Efficient Coalgebraic Partition Refinement

Dorsch U, Milius S, Schröder L, Wißmann T (2017)

Publication Type: Conference contribution

Publication year: 2017

Publisher: Schloss Dagstuhl

Book Volume: 85

Pages Range: 28:1--28:16

Conference Proceedings Title: Proc. 28th International Conference on Concurrency Theory (CONCUR 2017)

Authors with CRIS profile

Ulrich Dorsch Lehrstuhl für Informatik 8 (Theoretische Informatik) Stefan Milius Lehrstuhl für Informatik 8 (Theoretische Informatik) Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik) Thorsten Wißmann Lehrstuhl für Informatik 8 (Theoretische Informatik)

Related research project(s)

Coinduction Meets Algebra For the Axiomatization of System Equivalence (COAX) Oct. 1, 2014 - July 31, 2018 Probabilistische Beschreibungslogik als Fragment der Probabilistischen Logik Erster Stufe (ProbDL) April 1, 2011 - April 1, 2014

How to cite

APA:

Dorsch, U., Milius, S., Schröder, L., & Wißmann, T. (2017). Efficient Coalgebraic Partition Refinement. In Meyer R, Nestmann U (Eds.), Proc. 28th International Conference on Concurrency Theory (CONCUR 2017) (pp. 28:1--28:16). Schloss Dagstuhl.

MLA:

Dorsch, Ulrich, et al. "Efficient Coalgebraic Partition Refinement." Proceedings of the Proc. 28th International Conference on Concurrency Theory (CONCUR 2017) Ed. Meyer R, Nestmann U, Schloss Dagstuhl, 2017. 28:1--28:16.

BibTeX: Download