Fork Algebras as a Sufficiently Rich Universal Institution

Carlos López Pombo, Marcelo F. Frias. Fork Algebras as a Sufficiently Rich Universal Institution. In Michael Johnson, Varmo Vene, editors, Algebraic Methodology and Software Technology, 11th International Conference, AMAST 2006, Kuressaare, Estonia, July 5-8, 2006, Proceedings. Volume 4019 of Lecture Notes in Computer Science, pages 235-247, Springer, 2006. [doi]

Authors

Carlos López Pombo

This author has not been identified. Look up 'Carlos López Pombo' in Google

Marcelo F. Frias

This author has not been identified. Look up 'Marcelo F. Frias' in Google