Davide Sergio

According to our database, Davide Sergio authored at least 1 paper in 2009.

Collaborative distances:

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

2009

Expressing the Behavior of Three Very Different Concurrent Systems by Using Natural Extensions of Separation Logic

Edgar G. Daylight, Sandeep K. Shukla, Davide Sergio

Proceedings of the Proceedings 16th International Workshop on Expressiveness in Concurrency, 2009