Verifying Performance Equivalence for Timed Basic Parallel Processes.

Béatrice Bérard Anne Labroue Philippe Schnoebelen

Published in: FoSSaCS (2000)

Keyphrases

petri net
parallel processing
timed automata
computer architecture
process model

model checking
stochastic processes
finite state machines
distributed memory machines
multi core processors

parallel computers
distributed memory
parallel implementation
computer vision

shared memory
data structure
bayesian networks
decision trees