Specifying agents in the SF specification language

W. David Hurley, Alfs T. Berztiss. Specifying agents in the SF specification language. In Second International Symposium on Autonomous Decentralized Systems, ISADS 1995, Phoenix, Arizona, USA, April 25-27, 1995. pages 112-118, IEEE Computer Society, 1995. [doi]

Abstract

Abstract is missing.