Implementation of a synchronous communication in a loosely coupled system: A correctness proof.
Andrea MasiniMarco DaneluttoPublished in: Future Gener. Comput. Syst. (1992)
Keyphrases
- loosely coupled
- synchronous communication
- asynchronous communication
- loose coupling
- tightly coupled
- publish subscribe
- distributed systems
- highly distributed
- web services
- modular architecture
- web service technology
- service oriented architecture
- theorem proving
- virtual enterprise
- domain knowledge
- distributed data management
- multi agent systems