Components as processes: An exercise in coalgebraic modeling (2000)

by L S Barbosa
Venue:FMOODS'2000 - Formal Methods for Open Object-Oriented Distributed Systems