| 1992 |
|---|
| 5 | | Alain Bensoussan,
Jean-Pierre Verjus:
Future Tendencies in Computer Science, Control and Applied Mathematics: International Conference on the Occasion of the 25th Anniversary of INRIA, Paris, France, December 8-11, 1992, Proceedings
Springer 1992 |
| 1987 |
|---|
| 4 | | Gregor von Bochmann,
Jean-Pierre Verjus:
Some Comments on "Transition-Oriented" Versus "Structured" Specification of Distributed Algorithms and Protocols.
IEEE Trans. Software Eng. 13(4): 501-505 (1987) |
| 3 | | Jean-Pierre Verjus:
On the Proof of a Distributed Algorithm.
Inf. Process. Lett. 25(3): 145-147 (1987) |
| 1977 |
|---|
| 2 | | Pierre Robert,
Jean-Pierre Verjus:
Toward Autonomous Descriptions of Synchronization Modules.
IFIP Congress 1977: 981-986 |
| 1970 |
|---|
| 1 | | Laurent Trilling,
Jean-Pierre Verjus:
An Attempted Definition of an Extensible System.
ALGOL 68 Implementation 1970: 119-139 |
