V. Chari

According to our database, V. Chari authored at least 4 papers between 1982 and 1985.

Collaborative distances:

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

1985

An approach for evaluating formal description techniques.

Ari Ahtiainen, S. Alfonzetti, V. Chari, Mats Daniels, Michel Diaz, Alberto Faro, Hans A. Hansson, Guy Juanole, Ulla Karjalainen, Gesualdo Le Moli, Juhani Malka, Sergio Palazzo, Orlando Pereda

Proceedings of the Protocol Specification, 1985

1983

Description, simulation and implementation of communication protocols using PDIL.

Jean-Pierre Ansart, V. Chari, M. Neyer, Omar Rafiq, D. Simon

Proceedings of the symposium on Communications Architectures & Protocols, 1983

From Formal Description to Automated Implementation using PDIL (Protocol Description and Implementation Language).

Jean-Pierre Ansart, V. Chari, D. Simon

Proceedings of the Protocol Specification, Testing, and Verification, III, Proceedings of the IFIP WG 6.1 Third International Workshop on Protocol Specification, Testing and Verification, organized by IBM Research, Rüschlikon, Switzerland, 31 May, 1983

1982

PDIL-Protocol Description and Implementation Language.

Jean-Pierre Ansart, Omar Rafiq, V. Chari

Proceedings of the Protocol Specification, 1982