Invited Talk: A Process Algebra Master Equation
| |
|
|
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
}