Formal Models for Web Navigations with Session Control and Browser Cache.

Jessica Chen, Xiaoshan Zhao

Browse the full ICFEM paper archive.