Heng Kuang, Olga Ormandjieva, Stan Klasa, Noorulain Khurshid, Jamal Bentahar. Towards Specifying Reactive Autonomic Systems with a Categorical Approach: A Case Study. In Roger Y. Lee, Naohiro Ishii, editors, Software Engineering Research, Management and Applications 2009 [selected papers from the 7th ACIS International Conference on Software Engineering Research, Management and Applications, SERA 2009, Haikou, China, December 2-4, 2009]. Volume 253 of Studies in Computational Intelligence, pages 119-134, Springer, 2009. [doi]
Abstract is missing.