Synchronization Can Improve Reactive Systems Control and Modularity
作者： Cristina Cerschi Seceleanu , Tiberiu Seceleanu
DOI:
关键词:
摘要: We concentrate on two major aspects of reactive system design: behavior control and modularity. These are studied from a formal point view, within the framework action systems. The traditiona ...
jucs.org 参考文章(1)
R.J.R. Back, J. von Wright, Reasoning Algebraically about Loops Acta Informatica. ,vol. 36, pp. 295- 334 ,(1997) , 10.1007/S002360050163