Deciding Serializability in Network Systems.

Guy Amir, Mark Barbone, Nicolas Amat, Jules Jacobs

Browse the full TACAS paper archive.