Specifying Modules to Satisfy Interfaces: A State Transition System Approach.

Simon S. Lam A. Udaya Shankar

Published in: Distributed Comput. (1992)

Keyphrases

state transition
input output
state transitions
state space
hidden markov models
state transition model
black box
markov chain
building blocks
probability distribution
finite state machines
object oriented
modular structure
transition model
multi tasking
user interface
artificial intelligence
functional modules