Nominal Automata with Name binding

Schröder L, Kozen D, Milius S, Wißmann T (2017)

Publication Language: English

Publication Type: Conference contribution, Original article

Publication year: 2017

Publisher: Springer

Series: Lecture Notes Comput.~Sci. (ARCoSS)

Conference Proceedings Title: Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017)

Event location: Uppsala SE

Authors with CRIS profile

Lutz Schröder Lehrstuhl für Informatik 8 (Theoretische Informatik) Stefan Milius 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

Involved external institutions

Cornell University US United States (USA) (US)

How to cite

APA:

Schröder, L., Kozen, D., Milius, S., & Wißmann, T. (2017). Nominal Automata with Name binding. In Esparza Javier, Murawski Andrzej (Eds.), Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017). Uppsala, SE: Springer.

MLA:

Schröder, Lutz, et al. "Nominal Automata with Name binding." Proceedings of the 20th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2017), Uppsala Ed. Esparza Javier, Murawski Andrzej, Springer, 2017.

BibTeX: Download