uu.seUppsala University Publications
Change search
ReferencesLink to record
Permanent link

Direct link
Solos in Concert
Uppsala University, Disciplinary Domain of Science and Technology, Mathematics and Computer Science, Department of Information Technology, Computing Science. (Mobility)ORCID iD: 0000-0003-0174-9032
2003 (English)In: Mathematical Structures in Computer Science, ISSN 0960-1295, Vol. 13, no 5, 657-683 p.Article in journal (Refereed) Published
Abstract [en]

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.
National Category
Computer Science
URN: urn:nbn:se:uu:diva-46146DOI: 10.1017/S0960129503004055OAI: oai:DiVA.org:uu-46146DiVA: diva2:74054
Available from: 2006-12-19 Created: 2006-12-19 Last updated: 2016-02-25

Open Access in DiVA

No full text

Other links

Publisher's full text

Search in DiVA

By author/editor
Victor, Björn
By organisation
Computing Science
Computer Science

Search outside of DiVA

GoogleGoogle Scholar
The number of downloads is the sum of all downloads of full texts. It may include eg previous versions that are now no longer available

Altmetric score

Total: 279 hits
ReferencesLink to record
Permanent link

Direct link