Relation to Pi Calculus
David Van Horn
Mon Oct 13 21:35:50 CEST 2003
I've heard that Erlang is essentially an implementation of the untyped pi
calculus. Is this a fair characterization? Which variant of the pi calculus
most closely resembles Erlang (eg, asynchronous pi, distributed pi, seal,
join, etc.)? Could someone provide examples of Erlang primitives that closely
rememble the pi calculus primitives: input, output, and restriction? Does a
formal semantics of core Erlang exist, and if so where?
Thanks in advance.
More information about the erlang-questions