Name

renaming of actions — Renames actions in Alternating Bit Protocol

Renaming Actions in abp

% Renaming of actions in example abp with intention to remove sum 
% variables and renaming tau_... to tau.

% The extra rewrite rule
%       var x:D 
%       rew  and(not(eq(x,d2)),not(eq(x,d1)))=F
% must be added for removing sum variables

r1(X)->r1(d1)<|X=d1
r1(X)->r1(d2)<|X=d2
s4(X)->s4(d1)<|X=d1
s4(X)->s4(d2)<|X=d2
tau_s6e->tau
tau_s6n->tau
tau_s3e->tau
tau_s3dn->tau
c3(X,Y)->c3(d1, Y)<|X=d1
c3(X,Y)->c3(d2, Y)<|X=d2
c2(X,Y)->c2(d1, Y)<|X=d1
c2(X,Y)->c2(d2, Y)<|X=d2

Last update

16 December 2008 by Bert Lisser