Improving the Efficiency of Synchronized Product with Infinite Transition Systems.

Yuliia Romenska Frédéric Mallet

Published in: ICTERI (Revised Selected Papers) (2013)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
computational complexity
life cycle
finite state
artificial intelligence
practical reasoning