СТ |
Towards a Methodology for Coordination Mechanism Selection in Open Systems |
2003 |
Miles S., Joy M., Luck M. |
|
|
|
Lecture Notes in Artificial Intelligence |
30.05.2003 |
СТ |
Resigning Agent-Oriented Systems by Analysing Agent Interactions |
2001 |
Miles S., Joy M., Luck M. |
Lecture Notes in Computer Science |
|
|
Lecture Notes in Computer Science |
07.03.2001 |
СТ |
A Formal Architecture for the 3APL Agent Programming Language |
2000 |
D Inverno M., Hindriks K., Luck M. |
|
|
|
Lecture Notes in Computer Science |
21.10.2000 |
СТ |
Structuring a Z Specification to Provide a Formal Framework for Autonomous Agent Systems |
1995 |
Luck M., D Inverno M. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
29.09.1995 |