FunKons: Component-Based Semantics in K

Rewriting Logic and Its Applications - Lecture Notes in Computer Science ◽

10.1007/978-3-319-12904-4_12 ◽

2014 ◽

pp. 213-229 ◽

Cited By ~ 4

Author(s):

Peter D. Mosses ◽

Ferdinand Vesely

Download Full-text