ESERCIZI SESSION TYPES and SePi
Esercizio 1
Fornire un programmino SePi in cui si utilizzi un canale
che e' lineare (lin) all'inizio e poi diventa unrestricted (un)
Possibile soluzione.
Esercizio 2
Si implementino in SePi i processi che compongono il sistema
con il seguente comportamento globale.
Consider two buyers, Buyer1 and Buyer2.
They wish to buy an expensive book from Seller by combining their
money. Buyer1 sends the title of the book to Seller, Seller sends
to both Buyer1 and Buyer2 its quote, Buyer1 tells Buyer2 how
much she can pay, and Buyer2 either accepts the quote or receives
the quote by notifying Seller.
Esercizio 3
Esercizio 4
Esercizio 5
Esercizio 6
Esercizio 7
Esercizio 8
Esercizio 9
Esercizio 10
Esercizio XX
Possibile soluzione.