An Efficient Verifier of Truly Concurrent Properties.

Alessandro Bianchi Stefano Coluccini Pierpaolo Degano Corrado Priami

Published in: PaCT (1995)

Keyphrases

decision making
mutual exclusion
computer vision
wide range
lower bound
relational databases
data model
special case
probability distribution
computationally efficient
structural properties
desirable properties
key properties