Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study.

Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar

Browse the full SERA paper archive.