A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions

Jan Martens, Jan Friso Groote, Lars van den Haak, Pieter Hijma, Anton Wijs

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/Congresprocedure › Conferentiebijdrage › Academic › peer review

21 Downloads (Pure)

Vingerafdruk

Duik in de onderzoeksthema's van 'A Linear Parallel Algorithm to Compute Bisimulation and Relational Coarsest Partitions'. Samen vormen ze een unieke vingerafdruk.

Rekenkunde

Engineering en materiaalwetenschappen