Towards Robust Resource Allocations via Performance Modeling with Stochastic Process Algebra.

Srishti Srivastava Ioana Banicescu

Published in: CSE (2015)

Keyphrases

process algebra
resource allocation
concurrent systems
model checking
asynchronous circuits
petri net
resource management
formal specification
general purpose
knowledge acquisition
web services composition