The Synchronization Problem in Protocol Testing and its Complexity.

Sylvia C. Boyd Hasan Ural

Published in: Inf. Process. Lett. (1991)

Keyphrases

computational complexity
lightweight
test cases
security protocols
concurrent programs
database
real time
case study
computational cost
test data
interprocess communication
coloured petri nets