%0 Conference Proceedings %F talpin97 %A Talpin, J.P. %T Reactive types %B International Joint Conference on the Theory and Practice of Software Development (TAPSOFT'97) %I Springer-Verlag, LNCS %U ftp://ftp.irisa.fr/local/signal/publis/articles/TAPSOFT-97:sem_verif.ps.gz %8 April %D 1997