Compositional verification of multi-agent systems: a formal analysis of pro-activeness and reactiveness. (1998)

by C M Jonker, J Treur
Venue:Proceedings of the International Workshop on Compositionality, COMPOS’97,