Login / Signup
Performance Evaluation of Asynchronous Concurrent Systems: The UCLA Graph Model of Behavior.
Mary K. Vernon
Edmundo de Souza e Silva
Gerald Estrin
Published in:
Performance (1983)
Keyphrases
</>
graph model
concurrent systems
graph representation
temporal logic
distributed systems
process algebra
bipartite graph
formal specification
petri net
weighted graph
graph structure
model checking
probabilistic model
similarity measure
language model
object oriented
data structure
search engine