A unified approach to modelling the performance of concurrent systems.

Peter G. Harrison Catalina M. Lladó Ramón Puigjaner

Published in: Simul. Model. Pract. Theory (2009)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
model checking
transition systems
formal specification
petri net
e learning
knowledge representation
fuzzy petri net
machine learning
communication networks
object oriented
computer vision
search engine
learning algorithm