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