Verifying Performance Equivalence for Timed Basic Parallel Processes.
Béatrice BérardAnne LabrouePhilippe SchnoebelenPublished 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