TY - BOOK T1 - Action semantics T2 - Cambridge Tracts in Theoretical Computer Science A1 - Mosses, Peter D. LA - English PP - Cambridge PB - Cambridge University Press YR - 1992 ED - 1st ed. UL - https://catalogo.bibliotecas.unlp.edu.ar/Record/dif.55444 OP - 372 NO - Incluye bibliografía, índice de símbolos e índice de conceptos. SN - 0521403472 KW - LENGUAJES DE PROGRAMACIÓN KW - SEMÁNTICA KW - CIENCIAS VETERINARIAS ER -