Universal Realization, Persistent Interconnection and Implementation of Abstract Modules.

Joseph A. Goguen, Jos Meseguer

Browse the full ICALP paper archive.