Relating pi-calculus to Object-Z.

Kenji Taguchi, Jin Song Dong, Gabriel Ciobanu

Browse the full ICECCS paper archive.