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

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf
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, Published 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
2005.
National Category
Computer Science
Identifiers
URN: urn:nbn:se:uu:diva-74246DOI: 10.1007/11548133ISBN: 3-540-28620-9 (print)OAI: oai:DiVA.org:uu-74246DiVA: diva2:102156
Conference
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

Authority records BETA

Victor, BjörnYemane, Kidane

Search in DiVA

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

Search outside of DiVA

GoogleGoogle Scholar

doi
isbn
urn-nbn

Altmetric score

doi
isbn
urn-nbn
Total: 1020 hits
CiteExportLink to record
Permanent link

Direct link
Cite
Citation style
  • apa
  • ieee
  • modern-language-association
  • vancouver
  • Other style
More styles
Language
  • de-DE
  • en-GB
  • en-US
  • fi-FI
  • nn-NO
  • nn-NB
  • sv-SE
  • Other locale
More languages
Output format
  • html
  • text
  • asciidoc
  • rtf