A meta-level framework for recording and utilizing communication histories in Maude

Eyvind Wærsted Axelsen
Bok · Engelsk · 2004

Utgitt	Oslo : E.W. Axelsen , 2004
Omfang	viii, 195,17 s. 6 bl. : fig.
Opplysninger	Hovedoppgave i informatikk (Cand.scient.) - Universitetet i Oslo, 2004
Emner	Databehandling Distribuerte systemer Meldingssystemer Omskrivning hovedoppgaver informatikk kommunikasjonshistorier metanivå maude meta-nivå creol omskrivning strategi