D23 Flow Plug-in: Revision history

From Event-B
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.

8 January 2010

10 December 2009

4 December 2009

30 November 2009

  • curprev 12:5412:54, 30 November 2009‎ imported>Alexili‎ 3,870 bytes +783‎ No edit summary
  • curprev 12:4112:41, 30 November 2009‎ imported>Alexili‎ m 3,087 bytes +3,087‎ New page: = Overview = Event-B, being an event systems formalism does not have a mechanism for explicitly defining event ordering. Although event guards may express any desired event ordering, the ...
Retrieved from ‘https://wiki.event-b.org/index.php/D23_Flow_Plug-in’