Active Bibliography

Simple and Efficient Higher-Order Reactive Programming – Neelakantan R. Krishnaswami - 2012
2170 Statecharts: A Visual Formalism For Complex Systems – David Harel - 1987
496 Algebraic laws for nondeterminism and concurrency – Matthew Hennessy, Robin Milner - 1985
2474 Compositional Model Checking – E. M. Clarke, D. E. Long, K. L. Mcmillan - 1999
554 On Visual Formalisms – David Harel - 1988
944 A theory of type polymorphism in programming – Robin Milner - 1978
1119 Temporal and modal logic – E. Allen Emerson - 1995
774 Constraint Logic Programming: A Survey – Joxan Jaffar, Michael J. Maher
500 The synchronous dataflow programming language LUSTRE – N. Halbwachs, P. Caspi, P. Raymond, D. Pilaud - 1991