Matching Systems for Concurrent Calculi |
| |
| Authors: | Bj rn Haagensen, Sergio Maffeis,Iain Phillips |
| |
| Affiliation: | aAalborg University, Denmark;bImperial College London |
| |
| Abstract: | Matching systems were introduced by Carbone and Maffeis, and used to investigate the expressiveness of the pi-calculus with polyadic synchronisation. We adapt their definition and investigate matching systems for CCS, the pi-calculus and Mobile Ambients. We show among other results that the asynchronous pi-calculus with matching cannot be encoded (under certain conditions) in CCS with polyadic synchronisation of all finite levels. |
| |
| Keywords: | Matching systems CCS pi-calculus Mobile Ambients |
| 本文献已被 ScienceDirect 等数据库收录！ |
