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

3 Citaten (Scopus)
197 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.

Computer Science