pi-calculus

1熱度

1回答

在Milner的Pi微積分中，當多個進程從同一個通道讀取時，什麼是評估語義？規則說 !x(a). P | ?x(b) Q ~> P | Q[a/b] 但什麼情況下，像 !x(a). P | ?x(b) Q | ?x(c) R ？