Decidability of Weak Bisimilarity for a Subset of Basic Parallel Processes.

Published in: FoSSaCS (2001)

Keyphrases

parallel implementation
description logics
database systems
expert systems
shared memory
multi core processors
parallel hardware
real time
genetic algorithm
relational databases
process model
parallel processing
computational models
parallel execution