Sökning: onr:"swepub:oai:DiVA.org:uu-74246" >
Modelling and Minim...
Modelling and Minimising the Fusion Calculus using HD-automata
-
Ferrari, Gianluigi (författare)
-
Montanari, Ugo (författare)
-
Tuosto, Emilio (författare)
-
visa fler...
-
- Victor, Björn (författare)
- Uppsala universitet,Datalogi,Mobility
-
- Yemane, Kidane (författare)
- Uppsala universitet,Datalogi
-
visa färre...
-
(creator_code:org_t)
- Berlin, Heidelberg : Springer Berlin Heidelberg, 2005
- 2005
- Engelska.
-
Ingår i: Proceedings of CALCO 2005. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 3540286209
- Relaterad länk:
-
http://www.springerl...
-
visa fler...
-
https://urn.kb.se/re...
-
https://doi.org/10.1...
-
visa färre...
Abstract
Ämnesord
Stäng
- 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.
Ämnesord
- NATURVETENSKAP -- Data- och informationsvetenskap -- Datavetenskap (hsv//swe)
- NATURAL SCIENCES -- Computer and Information Sciences -- Computer Sciences (hsv//eng)
Nyckelord
- Computer science
- Datavetenskap
Publikations- och innehållstyp
- ref (ämneskategori)
- kon (ämneskategori)
Hitta via bibliotek
Till lärosätets databas