Formal Techniques for Distributed Objects, Components, and Systems - 43rd IFIP WG 6.1 International Conference, FORTE 2023, Held as Part of the 18th International Federated Conference on Distributed Computing Techniques, DisCoTec 2023, Lisbon, Portugal, June 19-23, 2023, Proceedings
Published in: FORTE (2023)
Keyphrases
- international conference
- ifip wg
- distributed computing
- distributed systems
- book constitutes the refereed proceedings
- reviewed and selected from numerous submissions
- distributed environment
- conference proceedings
- papers cover
- computational molecular biology
- computational intelligence
- koli calling
- carefully reviewed and selected from submissions
- invited speakers
- fault tolerance
- cloud computing
- san diego
- mobile agents
- fault tolerant
- acm sigmod
- peer to peer
- working conference
- computer science
- intelligent systems
- digital libraries
- database management
- short papers
- invited talk
- database
- data model
- databases