A process logic for distributed system synthesis .

Yoshinao Isobe Kazuhito Ohmaki

Published in: APSEC (2000)

Keyphrases

distributed systems
fault tolerant
fault tolerance
agent technology
reinforcement learning
logic programming
design process
mobile agents
load balancing
message passing
security policies