Difference between revisions of "Modularisation Plug-in Composition Semantics"

From Event-B
Jump to navigationJump to search
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’