Extending (Object-)Z for multi-agent systems specification.

Anarosa Brando, Paulo S. C. Alencar, Carlos Jos Pereira de Lucena

Browse the full CaiSE paper archive.