A multiparty session typing discipline for fault-tolerant event-driven distributed programming.
Malte VieringRaymond HuPatrick EugsterLukasz ZiarekPublished in: Proc. ACM Program. Lang. (2021)
Keyphrases
- fault tolerant
- event driven
- multi party
- distributed systems
- fault tolerance
- publish subscribe
- privacy preserving
- information delivery
- load balancing
- real time
- safety critical
- high availability
- state machine
- markup language
- cooperative
- domain independent
- mental states
- integrity constraints
- interconnection networks
- relational databases