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