Input/Output for ELAN
Patrick Viry · Electronic Notes in Theoretical Computer Science · 1996
We show how to add Input/Output capabilities to the ELAN rewriting interpreter using a rewrite specification of π-calculus. This I/O system has the advantage of being totally explicit and fit in the same semantic framework than any other “application program”. An actual implementation shows the effectiveness of this approach.