Login / Signup
Modelling Network Performance with a Spatial Stochastic Process Algebra.
Vashti Galpin
Published in:
AINA (2009)
Keyphrases
</>
process algebra
computer networks
model checking
spatial data
communication networks
asynchronous circuits
network traffic
formal specification