Gilbert Ndjatou

Learn More
— We propose a formal framework for the specification of the behavior of a system of agents, as well as those of the constituting agents. This framework allows us to model each agent's effectoric capability including its interactions with the other agents. We also provide an algorithm based on Milner's " observation equivalence " to derive an agent's(More)
  • 1