Search: onr:"swepub:oai:DiVA.org:uu-93876" >
Modelling Fusion Ca...
Modelling Fusion Calculus using HD-Automata
-
Ferrari, Gianluigi (author)
-
Montanari, Ugo (author)
-
Tuosto, Emilio (author)
-
show more...
-
- Victor, Björn (author)
- Uppsala universitet,Datalogi,Mobility
-
- Yemane, Kidane (author)
- Uppsala universitet,Datorteknik,Mobility
-
show less...
-
(creator_code:org_t)
- 2005
- English.
-
Series: Technical report / Department of Information Technology, Uppsala University, 1404-3203 ; 2005-038
- Related links:
-
https://urn.kb.se/re...
Abstract
Subject headings
Close
- 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.
Subject headings
- NATURVETENSKAP -- Data- och informationsvetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences (hsv//eng)
Keyword
- TECHNOLOGY
- TEKNIKVETENSKAP
Publication and Content Type
- vet (subject category)
- rap (subject category)
To the university's database