Markovian dynamics of concurrent systems.

Published in: Discret. Event Dyn. Syst. (2019)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
petri net
transition systems
formal specification
model checking
dynamical systems
dynamic model
data sets
artificial intelligence
video sequences