### Table 6: The Reduction Relation: Process Interactions

1998

"... In PAGE 10: ... Thus Klaim syntax is extended with the process out(et) whose symbolic semantics is expressed by the following structural rule out(et) o(et)@self ?????! nil: Moreover, we use sites alike localities and locality variables. The reduction rules of nets (rules in Table6 , and rules (11) and (12)) clearly distinguish... In PAGE 14: ... Indeed, whenever a process P located at the site s1 wishes to insert a tuple t into the remote tuple space located at s2, the local environment of P , namely 1, is used for evaluating t. A dynamic scoping discipline for out can be obtained by replacing rule (2) in Table6 with the following: P1 s(t)@` ??! P 0 1 s2 = 1 (`) et = T [[ t ]] 2 s1 :: 1 P1 k s2 :: 2 P2 ! s1 :: 1 P 0 1 k s2 :: 2 P2 j out(et) where the remote environment 2 is used for evaluating t. Remark 3.... In PAGE 14: ... A static scoping discipline for eval can be obtained by spawning Qf 1g rather than Q. More precisely, rule (4) in Table6 could be replaced by the following: P1 e(Q)@` ???! P 0 1 s2 = 1 (`) Q0 = Qf 1g s1 :: 1 P1 k s2 :: 2 P2 ! s1 :: 1 P 0 1 k s2 :: 2 Q0 j P2... ..."

Cited by 189

### Table 5. Reasons given: allows for discussions which is an interactive process; easier to make decisions.

1998

Cited by 4

### Table 6.3-1: Description of interacting process 6 - Reliability and qualification testing

2005