New Concepts of Amalgamation and Extension for a General Theory of Specifications.

Hartmut Ehrig, Michael Baldamus, Fernando Orejas

Browse the full COMPASS paper archive.