Media type: E-Article Title: Rewriting Logic and Its Applications: FunKons: Component-Based Semantics in K Contributor: Mosses, Peter D.; Vesely, Ferdinand Published: Springer International Publishing, 2014 Published in: Rewriting Logic and Its Applications (2014), Seite 213-229 Language: Not determined DOI: 10.1007/978-3-319-12904-4_12 ISSN: 0302-9743; 1611-3349 Origination: Footnote: