Provider: Schloss Dagstuhl - Leibniz Center for Informatics
Database: dblp computer science bibliography
Content:text/plain; charset="utf-8"
TY - JOUR
ID - DBLP:journals/ipl/CazorlaCRP01
AU - Cazorla, Diego
AU - Cuartero, Fernando
AU - Ruiz, Valentín Valero
AU - Pelayo, Fernando L.
TI - A process algebra for probabilistic and nondeterministic processes.
JO - Inf. Process. Lett.
VL - 80
IS - 1
SP - 15
EP - 23
PY - 2001//
DO - 10.1016/S0020-0190(01)00213-7
UR - https://doi.org/10.1016/S0020-0190(01)00213-7
ER -