Incremental Reasoning on Strongly Distributed Multi-agent Systems.

Elena V. Ravve, Zeev Volkovich, Gerhard-Wilhelm Weber

Browse the full SYNASC paper archive.