Distributed Bisimularity is Decidable for a Class of Infinite State-Space Systems.

Søren Christensen

Published in: CONCUR (1992)

Keyphrases

state space
distributed systems
data intensive
cooperative
peer to peer
search algorithm
management system
particle filter
computer systems
mobile agents
markov decision processes
distributed environment
fault tolerant
open systems
distributed object