anchor.diff:  			{ok, Process};
   		undefined ->
   			{error, {unregistered_process, QualifiedName}}
  +	end;
  +	
  +resolve_registered (QualifiedName = {global, GlobalName}) ->
  +	case global:whereis (GlobalName) of
  +		Process when (is_pid (Process) orelse is_port (Process)) ->
  +			{ok, Process};
  +		undefined ->
  +			{error, {unregistered_process, QualifiedName}}
  +	end;
  +	
  +resolve_registered (QualifiedName = {Node, LocalName})
  +		when (Node =:= node ()), is_atom (LocalName) ->
  +	case erlang:whereis (LocalName) of
  +		Process when (is_pid (Process) orelse is_port (Process)) ->
  +			{ok, Process};
  +		undefined ->
  +			{error, {unregistered_process, QualifiedName}}
  +	end;
  +	
  +resolve_registered (QualifiedName = {Node, LocalName})
  +		when is_atom (Node), is_atom (LocalName) ->
  +	case rpc:call (Node, erlang, whereis, [LocalName]) of
  +		Process when (is_pid (Process) orelse is_port (Process)) ->
  +			{ok, Process};
  +		undefined ->
  +			{error, {unregistered_process, QualifiedName}};
  +		{badrpc, Reason} ->
  +			{error, {nodedown, Node}}
   	end.
   
   
  
positive.code: 	catch _ : Reason ->
  		{error, Reason}
  	end.
  
  
  wait (Process) ->
  
negative.code: 	end.
  
  
  resolve_registered (LocalName)
  		when is_atom (LocalName) ->
  	case erlang:whereis (LocalName) of
  		Process when (is_pid (Process) orelse is_port (Process)) ->
  			{ok, Process};
  		undefined ->
  			{error, {unregistered_process, LocalName}}
  	end;
  	
  resolve_registered (QualifiedName = {local, LocalName})
  		when is_atom (LocalName) ->
  	case erlang:whereis (LocalName) of
  