Modelling Protocols for Multiagent Interaction by F-logic.

Hong Feng Lai

Browse the full EUC paper archive.