[erlang-questions] Semantics of send

[Dmitry Belyaev]

The code will be executed without checks are those messages delivered.
"Pid ! Msg" doesn't check whether process with that Pid exists.

The only check is made if you use no pid() but atom() for registered 
process.

Johan Montelius wrote:
>
>
>
> What is the semantics of send?  In the following example:
>
> to_a_or_to_ab_or_to_none(A, B) ->
>     A ! foo,
>     B ! bar,
>     crash().
>
> If B receives bar is it then so that A receives foo?
>
> And where is the behavior stated?
>
> Is it guaranteed by the Erlang implementation in a distributed setting?
>
> If the sender crashes, is disconnected ...
>
>  Johan
>
>
>