Laboratorio di Programmazione di Reti A

Si vuole realizzare un'applicazione Theatre che automatizzi la vendita dei posti in un teatro. Si supponga che ci sia un massimo numero di posti disponibili ed un certo numero di clienti che, in modo concorrente, tentano di acquistare un certo numero di biglietti.
Ogni cliente acquista un numero k di biglietti. Theatre verifica se è disponibile il numero richiesto di biglietti, nel qual caso effettua la transazione, altrimenti restituisce un messaggio 'transazione non possibile'. Presentare una versione di Theatre che produca uno scenario di inconsistenza e una corretta.