Output details

Abstracting Asynchronous Multi-Valued Networks

<11> This paper rigorously develops the first abstraction theory for an important class of asynchronous qualitative biological models. This theory is crucial to cope with the state space explosion problem inherent with such asynchronous models and represents an important step in advancing the use of asynchronous models over their synchronous counterparts. The key (formally proven) theoretical results on mechanising abstraction checking are being used as the basis for efficient tool support. It has led to a new research area considering improving asynchronous biological modelling techniques. This paper was invited for a special addition of Scientific Annals of Computer Science.