Verifying lossy channel systems has nonprimitive recursive complexity.

Philippe Schnoebelen

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

Keyphrases

management system
computational complexity
distributed systems
real time
neural network
computer systems
building blocks
end to end