David Pym

Explorando comportamientos básicos y su importancia en la modelación de sistemas.

Explorando un marco para entender el conocimiento entre varios agentes en lógica modal.