Fail Termination of Communicating Processe.

Orna Grumberg Nissim Francez Shmuel Katz

Published in: PODC (1984)

Keyphrases

end users
communication channels
rewrite systems
information retrieval
mobile devices
term rewriting
database
computer vision
three dimensional
database systems
objective function
multi agent systems
object recognition
viewpoint
search space
active rules