The top documents tagged [mealy peersbounded queues]

Automatic Verification of Data-Centric Web Services Victor Vianu U.C. San Diego
Documents Automatic Verification of Data-Centric Web Services Victor Vianu U.C. San Diego

214 views