Output details

An abstraction theory for qualitative models of biological systems

<11> This paper rigorously develops the first abstraction theory for an important class of synchronous qualitative biological models. It represents a crucial step in providing practical techniques for coping with the state space explosion problem and the theoretical results are being used in the development of efficient tool support for model abstraction. It includes detailed new case studies which provide unique insight into existing models and much needed templates for model development. This paper inspired a complementary investigation for asynchronous models, resulting in new novel results and was invited to appear in a special issue of Theoretical Computer Science.