|
СТ |
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 |
|
СТ |
A Z Specification of the Soft-Link Hypertext Model |
1997 |
D Inverno M., Hu M. |
|
|
|
Lecture Notes in Computer Science |
15.04.1997 |
|
СТ |
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 |
|
СТ |
Structuring Specification in Z to Build a Unifying Framework for Hypertext Systems |
1995 |
D Inverno M., Priestly M. |
Lecture Notes in Computer Science |
|
|
ZUM 95: The Z Formal Specification Notation |
29.09.1995 |
