Invited Talk: A Process Algebra Master Equation

   page       BibTeX_logo.png       attach   
@inproceedings{pme-qest07,
   address = {Los Alamitos, CA, USA},
   apice = {PmastereqQest2007},
   author = {Cardelli, Luca},
   booktitle = {4th International Conference on the Quantitative Evaluation of Systems (QEST 2007)},
   doi = {10.1109/QEST.2007.25},
   isbn = {0-7695-2883-X},
   month = sep,
   pages = {219--226},
   publisher = {IEEE Computer Society},
   title = {Invited Talk: A Process Algebra Master Equation},
   urlpdf = {http://ieeexplore.ieee.org/iel5/4338221/4338222/04338261.pdf?tp=&arnumber=4338261&isnumber=4338222},
   year = 2007
}