An example of performance evaluation by using the stochastic process algebra: ROSA. Pelayo, F. L.; Cuartero, F.; Ruiz, V. V.; and Cazorla, D. In 7th International Workshop on Real-Time Computing and Applications Symposium (RTCSA 2000), 12-14 December 2000, Cheju Island, South Korea, pages 271--278, 2000.
An example of performance evaluation by using the stochastic process algebra: ROSA [link]Paper  doi  bibtex   
@inproceedings{DBLP:conf/rtcsa/PelayoCRC00,
  author    = {Fernando L. Pelayo and
               Fernando Cuartero and
               Valent{\'{\i}}n Valero Ruiz and
               Diego Cazorla},
  title     = {An example of performance evaluation by using the stochastic process
               algebra: {ROSA}},
  booktitle = {7th International Workshop on Real-Time Computing and Applications
               Symposium {(RTCSA} 2000), 12-14 December 2000, Cheju Island, South
               Korea},
  pages     = {271--278},
  year      = {2000},
  crossref  = {DBLP:conf/rtcsa/2000},
  url       = {https://doi.org/10.1109/RTCSA.2000.896401},
  doi       = {10.1109/RTCSA.2000.896401},
  timestamp = {Mon, 05 Jun 2017 01:00:00 +0200},
  biburl    = {http://dblp.org/rec/bib/conf/rtcsa/PelayoCRC00},
  bibsource = {dblp computer science bibliography, http://dblp.org}
}
Downloads: 0