Preemption in Concurrent Systems.

Published in: FSTTCS (1993)

Keyphrases

concurrent systems
temporal logic
distributed systems
transition systems
process algebra
model checking
formal specification
petri net
parallel machines
batch processing
genetic algorithm
video sequences
fuzzy petri net
markov chain
software engineering
scheduling problem
relational databases
decision making