| |
| 1993 | ||
|---|---|---|
| 3 | G. Berry, S. Ramesh, R. K. Shyamasundar: Communicating Reactive Processes. POPL 1993: 85-98 | |
| 1982 | ||
| 2 | G. Berry, Pierre-Louis Curien: Sequential Algorithms on Concrete Data Structures. Theor. Comput. Sci. 20: 265-321 (1982) | |
| 1977 | ||
| 1 | G. Berry, J. J. Levy: Minimal and Optimal Computations of Recursive Programs. POPL 1977: 215-226 | |
| 1 | Pierre-Louis Curien | [2] |
| 2 | J. J. Levy | [1] |
| 3 | S. Ramesh (Sethu Ramesh) | [3] |
| 4 | R. K. Shyamasundar | [3] |