Jean-Pierre Verjus

According to our database, Jean-Pierre Verjus authored at least 6 papers between 1968 and 1990.

Collaborative distances:

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

1990

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

Jean-Pierre Verjus

IEEE Ann. Hist. Comput., 1990

1987

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

Gregor von Bochmann, Jean-Pierre Verjus

IEEE Trans. Software Eng., 1987

On the Proof of a Distributed Algorithm.

Jean-Pierre Verjus

Inf. Process. Lett., 1987

1977

Toward Autonomous Descriptions of Synchronization Modules.

Pierre Robert, Jean-Pierre Verjus

Proceedings of the Information Processing, 1977

1970

An Attempted Definition of an Extensible System.

Laurent Trilling, Jean-Pierre Verjus

Proceedings of the ALGOL 68 Implementation: Proceedings of the IFIP Working Conference on ALGOL 68 Implementation, 1970

1968

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

Jean-Pierre Verjus

PhD thesis, 1968