A method for specifying and validating communication protocols in LOTOS.

Francisco Javier Carrasco, J. J. Gil

Browse the full FORTE paper archive.