Login / Signup
Ten Years of Performance Evaluation for Concurrent Systems Using CADP.
Nicolas Coste
Hubert Garavel
Holger Hermanns
Frédéric Lang
Radu Mateescu
Wendelin Serwe
Published in:
ISoLA (2) (2010)
Keyphrases
</>
concurrent systems
temporal logic
distributed systems
process algebra
petri net
formal specification
model checking
transition systems
real time
years ago
database
information technology
machine learning
artificial neural networks
data structure
multi agent
website
information systems
search engine
learning algorithm