Stochastic equivalence for performance analysis of concurrent systems in dtsiPBC.

Igor V. Tarasyuk Hermenegilda Macià Valentín Valero Ruiz

Published in: CoRR (2017)

Keyphrases

concurrent systems
distributed systems
temporal logic
transition systems
process algebra
petri net
model checking
formal specification
stochastic optimization
stochastic process
monte carlo
stochastic model
stochastic nature
learning automata
building blocks
real time
logic programming
genetic algorithm