?url_ver=Z39.88-2004&rft_val_fmt=info%3Aofi%2Ffmt%3Akev%3Amtx%3Adc&rft.relation=http%3A%2F%2Feprints.imtlucca.it%2F1322%2F&rft.title=A+uniform+definition+of+stochastic+process+calculi&rft.creator=De+Nicola%2C+Rocco&rft.creator=Latella%2C+Diego&rft.creator=Loreti%2C+Michele&rft.creator=Massink%2C+Mieke&rft.subject=QA75+Electronic+computers.+Computer+science&rft.description=We+introduce+a+unifying+framework+to+provide+the+semantics+of+process+algebras%2C+including+their+quantitative+variants+useful+for+modeling+quantitative+aspects+of+behaviors.+The+unifying+framework+is+then+used+to+describe+some+of+the+most+representative+stochastic+process+algebras.+This%0D%0Aprovides+a+general+and+clear+support+for+an+understanding+of+their+similarities+and+differences.+The+framework+is+based+on+State+to+Function+Labeled+Transition+Systems%2C+FuTSs+for+short%2C+that+are+state-transition+structures+where+each+transition+is+a+triple+of+the+form+(s%3B+%CE%B1%3BP).+The+first+andthe+second+components+are+the+source+state%2C+s%2C+and+the+label%2C+%CE%B1%2C+of+the+transition%2C+while+the+third+component+is+the+continuation+function%2C+P%2C+associating+a+value+of+a+suitable+type+to+each+state+s0.+For+example%2C+in+the+case+of+stochastic+process+algebras+the+value+of+the+continuation+function+on+s0+represents+the+rate+of+the+negative+exponential+distribution+characterizing+the+duration%2Fdelay+of+the+action+performed+to+reach+state+s0+from+s.+We+first+provide+the+semantics+of+a+simple+formalism+used+to+describe+Continuous-Time+Markov+Chains%2C+then+we+model+a+number+of+process+algebras+that+permit+parallel+composition+of+models+according+to+the+two+main+interaction+paradigms+(multiparty+and+one-to-one+synchronization).+Finally%2C+we+deal+with+formalisms+where+actions+and+rates+are+kept+separate+and+address+the+issues+related+to+the+coexistence+of+stochastic%2C+probabilistic%2C+and+non-deterministic+behaviors.+For+each+formalism%2C+we+establish+the+formal+correspondence+between+the+FuTSs+semantics+and+its+original+semantics.&rft.publisher=IMT+Institute+for+Advanced+Studies+Lucca&rft.date=2012-07&rft.type=Working+Paper&rft.type=NonPeerReviewed&rft.format=application%2Fpdf&rft.language=en&rft.identifier=http%3A%2F%2Feprints.imtlucca.it%2F1322%2F1%2FCSA_TR_2012_1.pdf&rft.identifier=++De+Nicola%2C+Rocco+and+Latella%2C+Diego+and+Loreti%2C+Michele+and+Massink%2C+Mieke++A+uniform+definition+of+stochastic+process+calculi.++CSA+Technical+Report++%2301%2F2012++++IMT+Institute+for+Advanced+Studies+Lucca+++++++++