Revision as of 11:30, 20 April 2005 edit Yoric~enwiki (talk \| contribs) 91 edits →Preservation of simulations ← Previous edit		Revision as of 11:33, 20 April 2005 edit undo Yoric~enwiki (talk \| contribs) 91 edits →See also Next edit →
Line 79: * [[Compilation]] * [[Bisimulation]] * [[http://catamaran.labs.cs.uu.nl/twiki/pt/bin/view/Transform/WebChanges\|The Program Transformation Wiki]] [[Category:Computer science]]

Semantics encoding: Difference between revisions