CSCI 6962 DCI Exercise 7


A reference cell in π-calculus

Example using reference cell:

will receive the value v over the channel d assuming no other processes interacting with the reference cell.


A join-calculus reference cell


Here is today's exercise:

1. Modify the π-calculus reference cell so that it behaves like the join-calculus reference cell.

2. Modify the join-calculus reference cell so that it behaves like the π-calculus reference cell.