Solos in Concert
2003 (English)In: Mathematical Structures in Computer Science, ISSN 0960-1295, Vol. 13, no 5, 657-683 p.Article in journal (Refereed) Published
We present a calculus of mobile processes without prefix or summation, called the solos calculus. Using two different encodings, we show that the solos calculus can express both action prefix and guarded summation. One encoding gives a strong correspondence but uses a match operator; the other yields a slightly weaker correspondence but uses no additional operators. We also show that the expressive power of the solos calculus is still retained by the sub-calculus where actions carry at most two names. On the contrary, expressiveness is lost in the solos calculus without match and with actions carrying at most one name.
Place, publisher, year, edition, pages
2003. Vol. 13, no 5, 657-683 p.
IdentifiersURN: urn:nbn:se:uu:diva-46146DOI: 10.1017/S0960129503004055OAI: oai:DiVA.org:uu-46146DiVA: diva2:74054