@dblp

Open Bisimulation for the Concurrent Constraint Pi-Calculus.

, and . ESOP, volume 4960 of Lecture Notes in Computer Science, page 254-268. Springer, (2008)

Links and resources

Tags