A compositional merge of probabilistic processes in the alternating model

S. Andova, J.C.M. Baeten, P.R. D'Argenio, T.A.C. Willemse

Research output: Chapter in Book/Report/Conference proceeding › Conference contribution › Academic

Fingerprint

Dive into the research topics of 'A compositional merge of probabilistic processes in the alternating model'. Together they form a unique fingerprint.

Computer Science