Inproceedings,

Open Bisimulation for the Concurrent Constraint Pi-Calculus.

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

Meta data

Tags

Users

  • @dblp

Comments and Reviews