R. Sacchelli

According to our database, R. Sacchelli authored at least 1 paper in 1994.

Collaborative distances:

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

1994

Tableau methods to describe strong bisimilarity on LOTOS processes involving pure interleaving and enabling.

Alessandro Fantechi, Stefania Gnesi, R. Sacchelli

Proceedings of the Formal Description Techniques VII, 1994