Marco Teórico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida. Baier, J. A., González, J. M., & Guzmán, R. In Proceedings of the 3er Workshop Chileno en Sistemas Distribuidos, pages 336-345, Talca, Chile, November, 1999.
Marco Teórico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida [pdf]Paper  bibtex   1 download  
@InProceedings{bai-gon-guz99,
        author = {Jorge A. Baier and Jos{\'e} Manuel Gonz{\'a}lez and Ricardo Guzm{\'a}n},
        title = {Marco Te{\'o}rico para Demostrar Propiedades de Programas bajo Memoria Compartida Distribuida},
        booktitle = {Proceedings of the 3er Workshop Chileno en Sistemas Distribuidos},
        address = {Talca, Chile},
        month = {November},
        pages = {336-345},
        url={http://www.cs.toronto.edu/~jabaier/publications/bai-gon-guz99.pdf},
        year = 1999
}
Downloads: 1