The aim is to show that communication in Pat can be bounded as one ping-pong loop, rather than (ping.pong)*. The investigate whether this pattern is transferrable to Erlang mailboxes, or whether the locality of these ping-pong interactions is no longer retained.
The aim is to show that communication in Pat can be bounded as one ping-pong loop, rather than
(ping.pong)*. The investigate whether this pattern is transferrable to Erlang mailboxes, or whether the locality of these ping-pong interactions is no longer retained.