A Formal Architecture for the 3APL Agent Programming Language
d'Inverno, Mark; Hindriks, Koen; and Luck, Michael.
2000.
A Formal Architecture for the 3APL Agent Programming Language.
In: Gerhard Goos; Juris Hartmanis and Jan van Leeuwen, eds.
ZB 2000: Formal Specification and Development in Z and B.
1878
Berlin, Germany: Springer, pp. 168-187.
ISBN 9783540679448
[Book Section]
Item Type | Book Section |
---|---|
Departments, Centres and Research Units | Computing |
Date Deposited | 19 Sep 2013 14:55 |
Last Modified | 29 Apr 2020 15:57 |
-
picture_as_pdf - A Formal Architecture for the 3APL Agent Programming Language.pdf
Share this file
Downloads