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
1999 (English)In: Proceedings of ICALP'99, 1999Conference paper (Refereed)
Abstract [en]

We present a calculus of mobile processes without prefix or summation, and using two different encodings we show that it 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.

Place, publisher, year, edition, pages
Keyword [en]
fusion calculus; expressiveness
National Category
Computer Science
URN: urn:nbn:se:uu:diva-40100OAI: oai:DiVA.org:uu-40100DiVA: diva2:68001
Available from: 2006-01-12 Created: 2006-01-12 Last updated: 2016-02-25

Open Access in DiVA

No full text

Other links


Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

Total: 230 hits
ReferencesLink to record
Permanent link

Direct link