A compositional merge of probabilistic processes in the alternating model

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

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademic

Vingerafdruk

Duik in de onderzoeksthema's van 'A compositional merge of probabilistic processes in the alternating model'. Samen vormen ze een unieke vingerafdruk.

Computer Science