ComponentSpec(A;B) == es:EO+(Info) 
EClass(A) EClass(B) 
Definitions :
event-ordering+: EO+(Info),
function: x:A B[x],
eclass: EClass(A[eo; e]),
prop:
FDL editor aliases :
es-component
ComponentSpec(A;B) == es:EO+(Info) {}\mrightarrow{} EClass(A) {}\mrightarrow{} EClass(B) {}\mrightarrow{} \mBbbP{}
Date html generated:
2010_08_27-PM-03_18_24
Last ObjectModification:
2010_04_02-AM-12_58_46
Home
Index