A Sound and Complete Proof System for Probabilistic Processes - Gómez, Escrig, Ruiz (1997)(Correct)(1 citation)
SPAIN 28040 Madrid, SPAIN 02071 Albacete, SPAIN fernando@info-ab.uclm.es defrutos@eucmax.sim.ucm.es
Proof System for Probabilistic Processes F. Cuartero Gomez D. de Frutos Escrig V. Valero Ruiz Dpto.
processes. ICALP-92, LNCS 624, 1992. 4. F. Cuartero, D. de Frutos and V. Valero. A Testing Semantics www.info-ab.uclm.es/fmc/publications/1997/AMAST97.PS
A new proposal for the synchronization in sPBC - Macià, Ruiz, Cuartero, Pelayo (2002)(Correct)
sPBC Hermenegilda Macia, Valentn Valero, Fernando Cuartero, and Fernando L. Pelayo Escuela
SPAIN fHermenegilda.Macia, Valentin.Valero, Fernando.Cuartero, Fernando.Lopezg@uclm.es Abstract. In this
Macia, Valentn Valero, Fernando Cuartero, and Fernando L. Pelayo Escuela Politecnica www.info-ab.uclm.es/sec-ab/Tecrep/newproposalsysPBC.ps
A Publication of the - Department Of Computer(Correct)
Algorithm with ROSA. by Fernando L. Pelayo ,Fernando Cuartero, Valentin Valero, Diego Cazorla Technical
Algorithm with ROSA Fernando L. Pelayo Fernando Cuartero Valentn Valero Diego Cazorla Escuela www.info-ab.uclm.es/sec-ab/Tecrep/diab020132.ps
A Process Algebra for Probabilistic and.. - Cazorla, Cuartero.. (2001)(Correct)
Mancha 02071 Albacete, Spain fdcazorla, fernando, valentin, fpelayog@info-ab.uclm.es Abstract In
and Nondeterministic Processes D. Cazorla F. Cuartero V. Valero F.L. Pelayo Escuela Politecnica
LNCS 1601, 1999. 2] A. Bueno, V. Valero, and F. Cuartero. TPAL: A timed-probabilistic model for www.info-ab.uclm.es/fmc/publications/2001/ipl01.ps
A Denotational Model for Probabilistic and.. - Cazorla, Cuartero.. (2000)(Correct)
s/n. 02071 Albacete, Spain fdcazorla, fernando, valentin, fpelayog@info-ab.uclm.es Abstract In
and Nondeterministic Processes D. Cazorla F. Cuartero V. Valero F. L. Pelayo Departamento de
1989. 3] A. Bueno, V. Valero, and F. Cuartero. TPAL: A timedprobabilistic model for concurrent www.info-ab.uclm.es/fmc/publications/2000/dsvv00.ps