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