126
Voted
IFIP
2009
Springer
15 years 7 months 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...