Developing Distributed Systems with Multiparty Functional Reactive Programming.
Sosuke MoriguchiTakuo WatanabePublished in: WSSE (2023)
Keyphrases
- distributed systems
- multi party
- privacy preserving
- load balancing
- fault tolerance
- fault tolerant
- distributed environment
- real time systems
- distributed computing
- reactive systems
- deadlock detection
- operating system
- distributed database systems
- mental states
- message passing
- description language
- programming language
- geographically distributed
- concurrent systems
- turn taking
- mobile agents
- state space
- software development environments
- human communication
- object oriented