Juan Vinyes

According to our database, Juan Vinyes authored at least 4 papers between 1991 and 1993.

Collaborative distances:

• Dijkstra number of five.
• Erdős number of three.

1993

Formal Description Techniques at Work: An ISDN Q.931 Implementation Using LOTOS.

Arturo Azcorra, Enrique Vázquez, Manuel Alvarez-Campana, Juan Vinyes

Proceedings of the Protocol Specification, 1993

1992

Architectures for Interworking between B-ISDN and Frame Relay.

Juan Vozmediano, Julio Berrocal, Juan Vinyes

Proceedings of the High Performance Networking IV, 1992

1991

Automatic Implementation of TP4/IP with an Estelle Workstation. Development Methodology and Performance Evaluation.

Enrique Vázquez, Pedro Sandoval, Marifeli Sedano, Juan Vinyes

Proceedings of the Protocol Specification, 1991

Io: An Estelle Simulator for Performance Evaluation.

D. Fernández, Enrique Vázquez, Juan Vinyes

Proceedings of the Formal Description Techniques, 1991