Modularisation Plug-in Composition Semantics: Difference between revisions

From Event-B
Jump to navigationJump to search
Newer edit →
imported>Alexili
New page: {{TODO|This is an internal draft document}} ==Approach 1: Reducing to A-style== ==Approach 2: Atomicity Refinement==
(No difference)

Revision as of 12:10, 22 October 2009

TODO: This is an internal draft document

Approach 1: Reducing to A-style

Approach 2: Atomicity Refinement

Retrieved from ‘https://wiki.event-b.org/index.php?title=Modularisation_Plug-in_Composition_Semantics&oldid=6208’