Specifying agents in the SF specification language.

W. David Hurley, Alfs T. Berztiss

Browse the full ISADS paper archive.