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

Cached

Download Links

by L. S. Barbosa
Venue:FMOODS’2000 - Formal Methods for Open Object-Oriented Distributed Systems
Citations:14 - 6 self