Extensions on performance evaluation techniques for concurrent systems.

Yuh Yaw Belle W. Y. Wei C. V. Ramamoorthy Wei-Tek Tsai

Published in: COMPSAC (1988)

Keyphrases

concurrent systems
temporal logic
distributed systems
model checking
process algebra
transition systems
formal specification
petri net
database
efficient implementation
neural network
information retrieval
learning algorithm