Login / Signup
Linear parallel algorithms to compute strong and branching bisimilarity.
Jan Martens
Jan Friso Groote
Lars B. van den Haak
Pieter Hijma
Anton Wijs
Published in:
Softw. Syst. Model. (2023)
Keyphrases
</>
parallel algorithm
parallel computation
parallel programming
shared memory
combinatorial search problems
general purpose
medial axis transform
cluster of workstations
branch and bound
parallel version
pc cluster
real time
search algorithm
evaluation function
message passing interface
processor array