Timed Transition Systems with Independence and Marked Scott Domains: An Adjunction.

Roman S. Dubtsov

Published in: Ershov Memorial Conference (2011)

Keyphrases

transition systems
model checking
concurrent systems
temporal logic
petri net
finite state
social networks
control flow
case study
dynamic programming
markov chain