Completeness for Algebraic Theories of Local State
Sam Staton
Book Title
Foundations of Software Science and Computational Structures‚ 13th International Conference‚ FOSSACS 2010‚ Held as Part of the Joint European Conferences on Theory and Practice of Software‚ ETAPS 2010‚ Paphos‚ Cyprus‚ March 20−28‚ 2010. Proceedings
Editor
C.−H. Luke Ong
Pages
48–63
Publisher
Springer
Series
Lecture Notes in Computer Science
Volume
6014
Year
2010