A Semantic Foundation for Hidden State
Jan Schwinghammer‚ Hongseok Yang‚ Lars Birkedal‚ François Pottier and Bernhard Reus
Address
Paphos‚ Cyprus
Book Title
Proceedings of the 13th International Conference on Foundations of Software Science and Computational Structures
ISBN
978−3−642−12031−2
Month
March
Pages
2–17
Publisher
Springer−Verlag
Series
Lecture Notes in Computer Science
Volume
6014
Year
2010