P - A Logic - A Compositional Proof System for Distributed Programs.

Paritosh K. Pandya Mathai Joseph

Published in: Distributed Comput. (1991)

Keyphrases

modal logic
intuitionistic logic
dynamic logic
cooperative
distributed systems
logic programming
proof search
classical logic
mobile agents
peer to peer
multi valued
multi agent
lightweight
distributed environment
fault tolerant
computer programs
linear logic
agent programming
linear time temporal logic