Verifying Infinite State Processes with Sequential and Parallel Composition.

Ahmed Bouajjani Rachid Echahed Peter Habermehl

Published in: POPL (1995)

Keyphrases

parallel version
process model
parallel processing
databases
artificial intelligence
parallel computing
shared memory
parallel implementation
parallel algorithm
parallel computers
parallel programming
parallel computation
database
model checking
business process
information retrieval
data sets