Interface

01234567890123456789012345678901234567890
conversation simple_plus {
		 connection c1 (1-to-1, ordered FIFO, guarenteed delivery) ;
		 connection c2  (1-to-1, ordered FIFO, guarenteed delivery) ; 
 
		 dagent d1 on c1 ;
		 dagent d2 on c1 ; 
 
		 alphabet ( BYTE ) ; 
 
		 term t1 ( int n )  ;
		 term t2 ( int m )  ;
		 term t3 ( int plus ( int n , int m ) highly available ) ; 
 
		 sentence s1 (t1, t2)  from c1 to c2 ;
		 sentence s2 (t3)  from c2 to c1 ; 
 
		 behavior (s1 ; s2) ;
		 with options  (volatile, data open, unmarshaled, unauthenticated, unauthorized); 
} ;