| |
| 1989 | ||
|---|---|---|
| 2 | Guy A. T'Hooft: Four Operators to Express Time Constraints in a Process Algebra. Kommunikation in Verteilten Systemen 1989: 174-188 | |
| 1987 | ||
| 1 | Guy A. T'Hooft: Formal Description Techniques: Communication Tools for Data Communication Specialists. Computer Networks 14: 311-321 (1987) | |