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

Direct link
Modelling and Minimising the Fusion Calculus using HD-automata
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
Show others and affiliations
2005 (English)In: Proceedings of CALCO 2005, 2005Conference paper (Refereed)
Abstract [en]

We propose a coalgebraic model of the Fusion calculus based on HD-automata. The main advantage of the approach is that the partition refinement algorithm designed for HD-automata is easily adapted to handle Fusion calculus processes. Hence, the transition systems of Fusion calculus processes can be minimised according to the notion of observational semantics of the calculus. As a beneficial side effect, this also provides a bisimulation checker for Fusion calculus.

Place, publisher, year, edition, pages
National Category
Computer Science
URN: urn:nbn:se:uu:diva-74246DOI: 10.1007/11548133ISBN: 3-540-28620-9OAI: oai:DiVA.org:uu-74246DiVA: diva2:102156
CALCO 2005
Available from: 2006-01-12 Created: 2006-01-12 Last updated: 2016-02-25

Open Access in DiVA

No full text

Other links

Publisher's full texthttp://www.springerlink.com/openurl.asp?genre=article&id=doi:10.1007/11548133_10

Search in DiVA

By author/editor
Victor, BjörnYemane, Kidane
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: 246 hits
ReferencesLink to record
Permanent link

Direct link