Nuprl Definition : msg-interface
A msg interface consists of a delay, a destination location, and a message.
Interface == ℤ × Id × Message(f)
Definitions occuring in Statement :
Message: Message(f),
Id: Id,
product: x:A × B[x],
int: ℤ
FDL editor aliases :
msg-interface
Latex:
Interface == \mBbbZ{} \mtimes{} Id \mtimes{} Message(f)
Date html generated:
2016_05_17-PM-03_29_57
Last ObjectModification:
2014_07_15-PM-04_57_07
Theory : messages
Home
Index