Jean-Pierre Verjus

Programming in Grenoble in the 1960s and those who Flew from the Nest

Jean-Pierre Verjus, 1990, Annals of the History of Computing.

Toward Autonomous Descriptions of Synchronization Modules

Jean-Pierre Verjus, Pierre Robert, J. Verjus, 1977, IFIP Congress.

On the Proof of a Distributed Algorithm

Jean-Pierre Verjus, 1987, Inf. Process. Lett..

Etude et réalisation d'un système algol conversationnel

Jean-Pierre Verjus, 1968 .

Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols

Gregor von Bochmann, Jean-Pierre Verjus, G. Bochmann, 1987, IEEE Trans. Software Eng..

An Attempted Definition of an Extensible System

Laurent Trilling, Jean-Pierre Verjus, 1970, ALGOL 68 Implementation.