Modularisation Plug-in Composition Semantics

From Event-B
Revision as of 12:10, 22 October 2009 by imported>Alexili (New page: {{TODO|This is an internal draft document}} ==Approach 1: Reducing to A-style== ==Approach 2: Atomicity Refinement==)
(diff) ← Older revision | Latest revision (diff) | Newer revision → (diff)
Jump to navigationJump to search

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’