Catuscia Palamidessi Comparing The Expressive Power Of The Synchronous And Asynchronous Pi-Calculi. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:5, pp:685-719 [Journal]
Pascal Zimmer On The Expressiveness Of Pure Safe Ambients. [Citation Graph (0, 0)][DBLP] Mathematical Structures in Computer Science, 2003, v:13, n:5, pp:721-770 [Journal]