Matthew C. B. Hennessy

According to our database, Matthew C. B. Hennessy authored at least 1 paper in 1982.

Collaborative distances:

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

1982

Translating a Subset of Ada into CCS.

Matthew C. B. Hennessy, Wei Li

Proceedings of the Formal Description of Programming Concepts : Proceedings of the IFIP Working Conference on Formal Description of Programming Concepts- II, 1982