Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language (2003)

Cached

Download Links

by Cindy Kong , Perry Alexander , Catherine Menon
Venue:JOURNAL OF UNIVERSAL COMPUTER SCIENCE
Citations:5 - 3 self

Document Versions

Defining a Formal Coalgebraic Semantics for the Rosetta Specification Language –Cindy Kong, Perry Alexander, Catherine Menon — 2003 — JOURNAL OF UNIVERSAL COMPUTER SCIENCE