315 search results - page 18 / 63 » Arrows for secure information flow |
IFIP
2009
Springer
14 years 7 days ago
2009
Springer
We present an abstract language for distributed systems of processes with local memory and private communication channels. Communication between processes is done via messaging. Th...
ISCA
2007
IEEE
14 years 1 months ago
2007
IEEE
FCT
2005
Springer
14 years 1 months ago
2005
Springer
MPC
1998
Springer
13 years 12 months ago
1998
Springer
MPC
2010
Springer
13 years 11 months ago
2010
Springer