Swinging types=functions+relations+transition systems.

Published in: Theor. Comput. Sci. (2000)

Keyphrases

transition systems
concurrent systems
model checking
temporal logic
fuzzy sets
finite state
control flow
web services
reinforcement learning
multi agent
practical reasoning