Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages (Contributo in atti di convegno)

Type

• Prodotto della ricerca (Classe)
• Contributo in atti di convegno (Classe)

Label

• Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages (Contributo in atti di convegno) (literal)

Anno

• 2012-01-01T00:00:00+01:00 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#doi

• 10.4204/EPTCS.93.2 (literal)

Alternative label

• Latella D., Massink M., de Vink E. (2012)
  Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages
  in Seventh ACCAT Workshop on Applied and Computational Category Theory (ACCAT 2012), Tallin, Estonia, 4 april 2012
  (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori

• Latella D., Massink M., de Vink E. (literal)

Pagina inizio

• 23 (literal)

Pagina fine

• 43 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#altreInformazioni

• Progetto: ASCENS - Autonomic Service-Component Ensembles - Grant agreement: 257414 (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#url

• http://cgi.cse.unsw.edu.au/~rvg/eptcs/Published/ACCAT2012/Papers/4/paper/accat.pdf (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#volumeInCollana

• EPTCS 93 (literal)

Note

• PuMa (literal)
• Scopu (literal)

Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni

• CNR-ISTI, Pisa, Italy; CNR-ISTI, Pisa, Italy; Univ. of Endhoven (literal)

Titolo

• Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages (literal)

Abstract

• Labeled state-to-function transition systems, FuTS for short, admit multiple transition schemes from states to functions of finite support over general semirings. As such they constitute a convenient modeling instrument to deal with stochastic process languages. In this paper, the notion of bisimulation induced by a FuTS is proposed and a correspondence result is proven stating that FuTS-bisimulation coincides with the behavioral equivalence of the associated functor. As generic examples, the concrete existing equivalences for the core of the process algebras ACP, PEPA and IMC are related to the bisimulation of specific FuTS, providing via the correspondence result coalgebraic justification of the equivalences of these calculi (literal)

Prodotto di

• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)
• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)

Autore CNR

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Insieme di parole chiave

• Parole chiave di "Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages" (Insieme di parole chiave)

Incoming links:

Autore CNR di

• MIEKE MASSINK (Unità di personale interno)
• DIEGO LATELLA (Unità di personale interno)

Prodotto

• Istituto di scienza e tecnologie dell'informazione \"Alessandro Faedo\" (ISTI) (Istituto)
• Metodi e Strumenti per la Progettazione di Sistemi Software-Intensive ad Elevata Complessità (ICT.P09.008.002) (Modulo)

Insieme di parole chiave di

• Parole chiave di "Bisimulation of Labeled State-to-Function Transition Systems of Stochastic Process Languages" (Insieme di parole chiave)