PossibleEvent(poss) == es:EO 
E (poss es)
Definitions :
event_ordering: EO,
product: x:A B[x],
es-E: E,
apply: f a
FDL editor aliases :
possible-event
PossibleEvent(poss) == es:EO \mtimes{} E \mtimes{} (poss es)
Date html generated:
2010_08_27-AM-09_31_04
Last ObjectModification:
2010_01_07-PM-12_58_58
Home
Index