Partial Order Reduction in Presence of Rendez-vous Communications with Unless Constructs and Weak Fairness.

Dragan Bosnacki

Published in: SPIN (1999)

Keyphrases

grand challenges
partial order reduction
model checking
petri net
technology enhanced learning
grand challenge
communication systems
resource allocation
information systems
databases
neural network
search algorithm
virtual environment
cooperative
image sequences
metadata
decision making
data mining