L'appelle de méthodes distantes permet à une application cliente d'appeller une méthodes à partir d'un objet distant (existant sur une autre VM que celle ou s'exécute l'appli cliente). RMI permet egalement de charger dynamiquement des classes dans une appli a travers le réseau. Dans le cas d'appelle de méthodes distantes, une application serveur met à disposition des méthodes accessible à distance. Dans le cas de l'interface pour le système de preuves Coq, on peut envisager, en remplacement de "stserver" et "stclient", qu'une application lance un process coq, et fournit des méthodes pour envoyer des commandes au système de preuves. Lors de l'appelle d'une de ces méthodes, les commandes sont envoyées au système de preuves par cette application (serveur) qui récupère le résultat et retourne un objet à l'application appelante (client).
Cette solution offre des possibilité équivalente à celle fournies par stserver/stclient, à savoir :
Cette méthode peut également être envisagée pour l'utilisation du parser par l'interface, à condition de fournir un moyen de parser sur la machine serveur un fichier se trouvant sur la machine cliente. (par exemple, transmettre au serveur le fichier et l'écrire sur un fichier temporaire sur le serveur).