The Reactive Engine for Modular Transducers

Gérard P. Huet, Benoît Razet. The Reactive Engine for Modular Transducers. In Kokichi Futatsugi, Jean-Pierre Jouannaud, José Meseguer, editors, Algebra, Meaning, and Computation, Essays Dedicated to Joseph A. Goguen on the Occasion of His 65th Birthday. Volume 4060 of Lecture Notes in Computer Science, pages 355-374, Springer, 2006. [doi]

Abstract

Abstract is missing.