Decidability of strong bisimulation of basic parallel processes using Hilbert's basis theorem.

Jitka Stríbrná

Published in: INFINITY (1997)

Keyphrases

description logics
parallel processing
shared memory
parallel implementation
database
data structure
website
case study
search algorithm
parallel computing
parallel architectures