Stochastic COWS

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 4749 LNCS, Issue , 2007, Pages 245-256

  Prandi, Davide ^a   Quaglia, Paola ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

DATA REDUCTION; RANDOM PROCESSES; WEB SERVICES;

MARKOVIAN EXTENSIONS; OPERATIONAL SEMANTICS; PROBABILISTIC MODEL CHECKERS; TRANSITION SYSTEMS;

SEMANTICS;

EID: 38348999367     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-74974-5_20     Document Type: Conference Paper

References (16)

1. Aziz, A., Sanwal, K., Singhal, V., Brayton, R.K.: Model-checking continuous-time markov chains. ACM TOCL 1(1), 162-170 (2000)
2. Bruni, R., Melgratti, H.C., Montanari, U.: Theoretical foundations for compensations in flow composition languages. In: POPL '05, pp. 209-220 (2005)
3. Bruni, R., Melgratti, H.C., Tuosto, E.: Translating Ore Features into Petri Nets and the Join Calculus. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 123-137. Springer, Heidelberg (2006)
4. Degano,P.,Priami,C:Enhancedoperationalsemantics.ACM CS33(2), 135-176(2001)
5. Gilmore, S.T., Tribastone, M.: Evaluating the scalability of a web service-based distributed e-learning and course management system. In: Bravetti, M., Núñez, M., Zavattaro, G. (eds.) WS-FM 2006. LNCS, vol. 4184, pp. 214-226. Springer, Heidelberg (2006)
6. Guidi, C., Lucchi, R., Gorrieri, R., Busi, N., Zavattaro, G.: A Calculus for Service Oriented Computing. In: Dan, A., Lamersdorf, W. (eds.) ICSOC 2006. LNCS, vol. 4294, Springer, Heidelberg (2006)
7. Hillston, J.: A Compositional Approach to Performance Modelling. In: CUP (1996)
8. Lapadula, A., Pugliese, R., Tiezzi, F.: Calculus for Orchestration of Web Services. In: Proc. ESOP'07. LNCS, vol. 4421, pp. 33-47. Springer, Heidelberg (2007) (full version available at), http://rap.dsi.unifi.it/cows/
9. Milner, R.: Communicating and mobile systems: the π-calculus. In: CUP (1999)
10. Misra, J., Cook, W.R.: Computation Orchestration: A Basis for Wide-area Computing. SoSyM 6(1), 83-110 (2007)
11. PEPA (2007), http://www.dcs.ed.ac.uk/pepa/
12. Pottier, F.: An Overview of Caml. ENTCS 148(2), 27-52 (2006)
13. Priami, C.: Stochastic π-calculus. The Computer Journal 38(7), 578-589 (1995)
14. PRISM (2007), http://www.cs.bham.ac.uk/~dxp/prism/
15. Quaglia, P.: Explicit substitutions for pi-congruences. TCS 269(1-2), 83-134 (2001)
16. Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. In: CUP (2001)