Barbosa LS.? 2000.??Components as Processes: An Exercise in Coalgebraic Modeling. 4th International Conference on Formal Methods for Open Object-Based Distributed Systems - FMOODS. :397?417.