Guy A. T'Hooft

Publication Activity (10 Years)

Years Active: 1987-1989
Publications (10 Years): 0

Publications

Guy A. T'Hooft
Four Operators to Express Time Constraints in a Process Algebra. Kommunikation in Verteilten Systemen (1989)
Guy A. T'Hooft
Timer description in CCS (Milner), LOTOS (ISO) and timed LOTOS (Quemada-Fernandez). A case analysis. Comput. Commun. Rev. 18 (1-2) (1988)
Guy A. T'Hooft
Formal Description Techniques: Communication Tools for Data Communication Specialists. Comput. Networks 14 (1987)