Renata Kaufman

According to our database, Renata Kaufman authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Formalisation and Analysis of Objects as CSP Processes.

Renata Kaufman, Augusto Sampaio, Alexandre Mota

Proceedings of the Formal Methods: Foundations and Applications, 2009