Perry Alexander
Department of Electrical Engineering and Computer Science, Information and Telecommunication Technology Center, The University of Kansas, USA

---

C. Kong, P. Alexander, C. Menon: Defining a Formal Coalgebraic Semantics for The Rosetta Specification Language /jucs_9_11/defining_a_formal_coalgebraic

page 1322 - 1349 Vol.9 / Issue 11