Tobias Kappé, Farhad Arbab, Carolyn L. Talcott. A Component-Oriented Framework for Autonomous Agents. In José Proença, Markus Lumpe, editors, Formal Aspects of Component Software - 14th International Conference, FACS 2017, Braga, Portugal, October 10-13, 2017, Proceedings. Volume 10487 of Lecture Notes in Computer Science, pages 20-38, Springer, 2017. [doi]
Abstract is missing.