Sign in
Performance analysis of concurrent systems with early evaluation.
Jorge Júlvez
Jordi Cortadella
Michael Kishinevsky
Published in:
ICCAD (2006)
Keyphrases
</>
concurrent systems
distributed systems
temporal logic
process algebra
evaluation method
transition systems
formal specification
data sets
petri net
model checking
database systems
evaluation methods
evaluation model
comparative evaluation