Login / Signup
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