Media type: E-Article Title: Abstract Semantics for K Module Composition Contributor: Girlea, Codruta; Rosu, Grigore Published: Elsevier BV, 2014 Published in: Electronic Notes in Theoretical Computer Science, 304 (2014), Seite 127-149 Language: English DOI: 10.1016/j.entcs.2014.05.007 ISSN: 1571-0661 Origination: Footnote: Access State: Open Access