Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali)

Type
Label
  • Notes on Markovian Extension of a Dialect of Value Passing CCS (Rapporti tecnici, manuali, carte geologiche e tematiche e prodotti multimediali) (literal)
Anno
  • 2008-01-01T00:00:00+01:00 (literal)
Alternative label
  • Latella D.; Loreti M.; Massink M. (2008)
    Notes on Markovian Extension of a Dialect of Value Passing CCS
    (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#autori
  • Latella D.; Loreti M.; Massink M. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#note
  • Technical report, 2008. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#descrizioneSinteticaDelProdotto
  • ABSTRACT: Many calculi for Service Oriented Computing (SOC) are based on a two-party, CCS-like, communication paradigm. In the context of SOC architectures, code mobility and dynamic process creation will play a major role, especially in distributed environments. In this framework, properties like commutativity and associativity of parallel composition operators is highly desirable. In this note we show how a relevant subset of CCS with value passing can be extended with stochastic information in such a way that associativity and commutativity of process parallel compositions is preserved, in the sense that P|(Q|R) is strong Markovian bisimilar to (P|Q)|R. (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#supporto
  • Altro (literal)
Http://www.cnr.it/ontology/cnr/pubblicazioni.owl#affiliazioni
  • CNR-ISTI, Pisa, Univ. di Firenze (literal)
Titolo
  • Notes on Markovian Extension of a Dialect of Value Passing CCS (literal)
Prodotto di
Autore CNR
Insieme di parole chiave

Incoming links:


Autore CNR di
Prodotto
Insieme di parole chiave di
data.CNR.it