Complete Calculi for Structured Specifications in Fork Algebra.

Carlos Gustavo Lpez Pombo, Marcelo Fabin Frias

Browse the full ICTAC paper archive.