Liveness in Timed and Untimed Systems.

Roberto Segala Rainer Gawlick Jørgen F. Søgaard-Andersen Nancy A. Lynch

Published in: Inf. Comput. (1998)

Keyphrases

petri net
intelligent systems
data sets
computer systems
building blocks
artificial intelligence
computer vision
multimedia
distributed systems
computing systems
finite state machines