Login / Signup
Robust resource allocations through performance modeling with stochastic process algebra.
Srishti Srivastava
Ioana Banicescu
Published in:
Concurr. Comput. Pract. Exp. (2017)
Keyphrases
</>
process algebra
resource allocation
formal specification
concurrent systems
asynchronous circuits
formal methods
communication protocols
model checking
web services composition
concurrent programs
information systems
database systems
multi agent systems