A typed parallel $λ$-calculus for graph-based communication.
Federico AschieriAgata CiabattoniFrancesco A. GencoPublished in: CoRR (2019)
Keyphrases
- higher order
- parallel processing
- communication networks
- information sharing
- packet switched
- lambda calculus
- information exchange
- shared memory
- load balance
- distributed memory
- graph theoretic
- wireless sensor networks
- parallel implementation
- real time
- communication systems
- communication overhead
- parallel programming
- scheduling problem
- communication protocols