Multiparty Session Types (MPST) provide a rigorous formalism for specifying and verifying the correctness of communications in distributed systems.

How are animals able to effectively exchange information with each other? What evolutionary pressures shape the structure and function of animal communication systems?

An invisible lining of blood vessels uses a vast network of connections to control all cardiovascular functions and the risk of developing cardiovascular disease.

Different types of upward communication in organizations have been examined from various points of view. However, few studies have directly discussed the difference between these types. This paper ...

The future of the global tactical communication market looks promising with opportunities in the ISR, communications, combat, and command & control markets.