Go home now Header Background Image
Search
Submission Procedure
share: |
 
Follow us
 
 
 
 

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