Issues in Concurrent Systems Research.

David R. Luginbuhl

Published in: ACM Comput. Surv. (1996)

Keyphrases

concurrent systems
temporal logic
petri net
distributed systems
formal specification
key issues
model checking
transition systems
process algebra
artificial intelligence
evolutionary algorithm
open issues
fundamental issues
real time
data structure
learning algorithm
information retrieval
neural network
data sets