A model-prover for constrained dynamic conversations.

Diletta Cacciagrano, Flavio Corradini, Rosario Culmone, Luca Tesei, Leonardo Vito

Browse the full IIWAS paper archive.