Algebraic modelling of concurrent systems and its practical application.

Weidong Tang Shengnan Li Huaxu Li

Published in: Int. J. Comput. Sci. Math. (2023)

Keyphrases

practical application
concurrent systems
temporal logic
distributed systems
process algebra
formal specification
transition systems
petri net
model checking
genetic algorithm
learning algorithm
case study
knowledge based systems
fine grained