On Verifying Unbounded Client-Server Systems.

Tephilla Prince

Published in: EUMAS (2023)

Keyphrases

client server
client server architecture
distributed object
mobile agents
distributed databases
website
expert systems
database server
database architectures
databases
web services
peer to peer
intelligent systems
peer to peer computing