Login / Signup
A Tool for the Performance Analysis of Concurrent Systems.
Vincenza Carchiolo
Alberto Faro
Michele Malgeri
Published in:
Specification and Verification of Concurrent Systems (1988)
Keyphrases
</>
concurrent systems
distributed systems
temporal logic
process algebra
transition systems
model checking
software tools
formal specification
petri net
data sets
artificial intelligence
real time
neural network
machine learning
search engine
multi agent