Design of Protocols in Timed CSP for Highly Reliable and Available Client-Server System.

Noriki Ogura Keizo Saisho Akira Fukuda

Published in: APSEC (1997)

Keyphrases

client server
highly reliable
peer to peer
user interface
mobile agents
distributed multimedia
database architectures
case study
constraint satisfaction problems
distributed databases
database server
databases
decision making
petri net
client server databases