WG211/M11Mosses: Revision history

From WG 2.11
Jump to navigationJump to search

Diff selection: Mark the radio buttons of the revisions to compare and hit enter or the button at the bottom.
Legend: (cur) = difference with latest revision, (prev) = difference with preceding revision, m = minor edit.

31 May 2012

  • curprev 14:5614:56, 31 May 2012 Ups talk contribs 926 bytes +926 Created page with "'''Component-based bisimilarity''' by Peter Mosses Given an SOS for the dynamic semantics of some programming language, various equational laws may be proved sound for strong bi..."
Retrieved from "http://mw.hh.se/wg211/index.php?title=WG211/M11Mosses"