# Linear Forwarders

Philippa Gardner, Cosimo Laneve, Lucian Wischik.
In CONCUR 2003.

## Abstract.

A *linear forwarder* is a processes
which receives one message on a channel and sends it on a
different channel. Such a process allows for a simple
implementation of the asynchronous pi calculus, by means of a
direct encoding of the pi calculus' *input capability* (i.e.
where a received name is used as the subject of subsequent input).
This encoding is fully abstract with respect to barbed congruence.

Linear forwarders are actually the basic mechanism of an earlier
implementation of the pi calculus, the *fusion machine*. We
modify the machine, replacing fusions by forwarders. The result is
more robust in the presence of failures, and more fundamental.

@InProceedings{glw03_linear_forwarders,
author = "Philippa Gardner and Cosimo Laneve and Lucian Wischik",
title = "Linear Forwarders",
booktitle = "CONCUR 2003",
year = 2003,
editor = "R. Amadio and D. Lugiez",
volume = "2761",
pages = "415--430",
series = "Lecture Notes in Computer Science",
publisher = "Springer-Verlag",
url = "http:// www.wischik.com/ lu/ research/ linfwd.html",
}