Voice synchronization in packet switching networks. - Felipe Alvarez-Cuevas; Miquel Bertran; Francesco Oller; Josep M. Selga (IEEE Netw., 1993)

A design environment with simulation and formal verification (syr-padde). - Miquel Bertran; Felipe Alvarez-Cuevas; Joan Viaplana; Albert Duran; Daniel Cabedo; Antoni Garrell; Josep Maria Garrell i Guiu; Francesc Escudero; Miquel Nicolau; Miquel Porta; Bartomeu Palmer; Joan M. Espejo; et al. (CAMAD, 1994)

Communication Extended Abstract Types in the Refinement of Parallel Communicating Processes. - Miquel Bertran; Felipe Alvarez-Cuevas; Albert Duran (ARTS, 1997)