Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
424877 | Future Generation Computer Systems | 2016 | 13 Pages |
Abstract
New computing systems are currently at crucial point in their evolution: autonomic systems (ASs), which are inspired by the human autonomic nervous system. Autonomic computing (AC) is characterized by self-*such as self-configuration, self-healing, self-optimization, self-protection and more which run simultaneously in ASs. Hence, self-*is a form of concurrent processing in ASs. Taking advantage of categorical structures we establish, in this paper, a firm formal basis for specifying concurrency of self-* in ASs.
Keywords
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
Authors
Phan Cong Vinh,