Covering Transitions of Concurrent Systems through Queues.
Jiale HuoAlexandre PetrenkoPublished in: ISSRE (2005)
Keyphrases
- concurrent systems
- distributed systems
- temporal logic
- transition systems
- petri net
- process algebra
- formal specification
- model checking
- waiting times
- processor sharing
- retrial queue
- priority queue
- finite capacity
- service rates
- queueing networks
- service times
- state transitions
- single server
- data sets
- queue length
- building blocks
- markov chain
- software engineering
- probability distribution