Computation of Partial Automata Through Span Composition. - Karina Girardi Roggia; Marnes Hoff; Paulo Blauth Menezes (EUROCAST, 2005)