José A. Gallud, José M. García. The Specification of a Generic Multicomputer Using Lotos. SIGPLAN Notices, 30(2):21-24, 1995.
@article{GalludG95, title = {The Specification of a Generic Multicomputer Using Lotos}, author = {José A. Gallud and José M. García}, year = {1995}, researchr = {https://researchr.org/publication/GalludG95}, cites = {0}, citedby = {0}, journal = {SIGPLAN Notices}, volume = {30}, number = {2}, pages = {21-24}, }