@article{DBLP:journals/toplas/BoudolLRS12, author = {G{\'e}rard Boudol and Zhengqin Luo and Tamara Rezk and Manuel Serrano}, title = {Reasoning about Web Applications: An Operational Semantics for HOP}, journal = {ACM Trans. Program. Lang. Syst.}, volume = {34}, number = {2}, year = {2012}, pages = {10}, ee = {http://doi.acm.org/10.1145/2220365.2220369}, bibsource = {DBLP, http://dblp.uni-trier.de} }