systems. Thus, Appia retains a flexible and modular design that allows communication stacks to be composed and reconfigured in run-time.

Protocols

The existing protocols include interface with TCP and UDP sockets, virtual synchrony, several implementations of total order, causal order,