Cuartero, Fernando and Frutos Escrig, David de and Valero, Valentín
(2007)
PCSP: a denotational model of probabilistic processes.
In
Real-time systems.
AMAST series in computing
(8).
World Scientific, pp. 57-76.
ISBN 981-02-4424-x
This list was generated on Tue May 30 03:24:06 2023 CEST.