Active Bibliography

1 An Ultrametric Model of Reactive Programming – Neelakantan R. Krishnaswami, Nick Benton - 2010
4 Higher-Order Functional Reactive Programming in Bounded Space – Neelakantan R. Krishnaswami, Nick Benton, Jan Hoffmann
8 A Semantic Model for Graphical User Interfaces – Neelakantan R. Krishnaswami, Nick Benton - 2011
Simple and Efficient Higher-Order Reactive Programming – Neelakantan R. Krishnaswami - 2012
1 Fair reactive programming – Andrew Cave, Francisco Ferreira, Prakash Panangaden, Brigitte Pientka - 2013
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
554 On Visual Formalisms – David Harel - 1988
363 Process algebra for synchronous communication – J. A. Bergstra, J. W. Klop - 1984