A semantics for updates consisting of a sequence of programs

Mauricio Osorio, Claudia Zepeda. A semantics for updates consisting of a sequence of programs. In 17th International Conference on Electronics, Communications and Computers, CONIELECOMP 2007, Cholula, Puebla, Mexico, February 26-28, 2007. pages 21, IEEE Computer Society, 2007. [doi]

@inproceedings{OsorioZ07-0,
  title = {A semantics for updates consisting of a sequence of programs},
  author = {Mauricio Osorio and Claudia Zepeda},
  year = {2007},
  doi = {10.1109/CONIELECOMP.2007.8},
  url = {http://doi.ieeecomputersociety.org/10.1109/CONIELECOMP.2007.8},
  researchr = {https://researchr.org/publication/OsorioZ07-0},
  cites = {0},
  citedby = {0},
  pages = {21},
  booktitle = {17th International Conference on Electronics, Communications and Computers, CONIELECOMP 2007, Cholula, Puebla, Mexico, February 26-28, 2007},
  publisher = {IEEE Computer Society},
  isbn = {0-7695-2799-X},
}