Probabilistic divide & congruence: Branching bisimilarity

Valentina Castiglioni (Corresponding author), Simone Tini (Corresponding author)

Onderzoeksoutput: Bijdrage aan tijdschriftTijdschriftartikelAcademicpeer review

7 Citaten (Scopus)

Vingerafdruk

Duik in de onderzoeksthema's van 'Probabilistic divide & congruence: Branching bisimilarity'. Samen vormen ze een unieke vingerafdruk.

Mathematics

Computer Science