Convergence/response tradeoffs in concurrent systems.

Mohamed G. Gouda Michael Evangelist

Published in: SPDP (1990)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
petri net
model checking
formal specification
transition systems
convergence speed
design decisions
convergence rate
convergence theorem
neural network
faster convergence
information systems
artificial intelligence
information retrieval