Vector controlled concurrent systems, part II: comparisons.

N. W. Keesmaat H. C. M. Kleijn Grzegorz Rozenberg

Published in: Fundam. Informaticae (1991)

Keyphrases

concurrent systems
temporal logic
distributed systems
process algebra
transition systems
petri net
model checking
formal specification
feature vectors
neural network
machine learning
artificial intelligence