SwePub
Sök i SwePub databas

  Utökad sökning

Träfflista för sökning "WFRF:(Montanari Ugo) "

Sökning: WFRF:(Montanari Ugo)

  • Resultat 1-3 av 3
Sortera/gruppera träfflistan
   
NumreringReferensOmslagsbildHitta
1.
  • Ferrari, Gianluigi, et al. (författare)
  • Modelling and Minimising the Fusion Calculus using HD-automata
  • 2005
  • Ingår i: Proceedings of CALCO 2005. - Berlin, Heidelberg : Springer Berlin Heidelberg. - 3540286209
  • Konferensbidrag (refereegranskat)abstract
    • 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.
  •  
2.
  • Ferrari, Gianluigi, et al. (författare)
  • Modelling Fusion Calculus using HD-Automata
  • 2005
  • Rapport (övrigt vetenskapligt/konstnärligt)abstract
    • 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.
  •  
3.
  •  
Skapa referenser, mejla, bekava och länka
  • Resultat 1-3 av 3

Kungliga biblioteket hanterar dina personuppgifter i enlighet med EU:s dataskyddsförordning (2018), GDPR. Läs mer om hur det funkar här.
Så här hanterar KB dina uppgifter vid användning av denna tjänst.

 
pil uppåt Stäng

Kopiera och spara länken för att återkomma till aktuell vy