Difference between revisions of "Generic Instantiation"

From Event-B
Jump to: navigation, search
m (New page: The initial proposal from Southampton is as follows. Proposal for generic instantiation of machines.)
 
m
Line 1: Line 1:
 
The initial proposal from Southampton is as follows.
 
The initial proposal from Southampton is as follows.
 
[[Image:Proposal_generic_instantiation_rodin.pdf | Proposal for generic instantiation of machines]].
 
[[Image:Proposal_generic_instantiation_rodin.pdf | Proposal for generic instantiation of machines]].
 +
 +
== Issues: Instantiation of Carrier Sets ==

Revision as of 17:06, 26 March 2010

The initial proposal from Southampton is as follows. File:Proposal generic instantiation rodin.pdf.

Issues: Instantiation of Carrier Sets