Distributed Decision Problems: Concurrent Specifications Beyond Binary Relations (Invited Talk).

Sergio Rajsbaum

Browse the full CONCUR paper archive.