Complete Calculi for Structured Specifications in Fork Algebra

Carlos Gustavo López Pombo, Marcelo Fabiùn Frias. Complete Calculi for Structured Specifications in Fork Algebra. In Ana Cavalcanti, David Déharbe, Marie-Claude Gaudel, Jim Woodcock, editors, Theoretical Aspects of Computing - ICTAC 2010, 7th International Colloquium, Natal, Rio Grande do Norte, Brazil, September 1-3, 2010. Proceedings. Volume 6255 of Lecture Notes in Computer Science, pages 290-305, Springer, 2010. [doi]

Authors

Carlos Gustavo López Pombo

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

Marcelo Fabiùn Frias

This author has not been identified. Look up 'Marcelo Fabiùn Frias' in Google