- Artículo:
Reasoning about Web Applications: An Operational Semantics for HOP
- Autor:
G. Boudol, Z. Luo, T. Rezk, M. Serrano
- Página:
Article 10
- Publicación:
ACM Transactions on Programming and Systems
- Volúmen:
34
- Número:
2
- Periodo:
Junio 2012
- ISSN:
01640925
- SrcID:
01640925-2012-02.txt
- Documento número 6416
- Actualizado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Creado el martes, 23 de mayo de 2017 03:28:26 p. m.
- Enlace directo
