Alessandro Beggiato

According to our database, Alessandro Beggiato authored at least 3 papers between 2014 and 2017.

Collaborative distances:

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

2017

Many-to-Many Information Flow Policies.

Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente

Proceedings of the Coordination Models and Languages, 2017

2016

Multilevel Transitive and Intransitive Non-interference, Causally.

Paolo Baldan, Alessandro Beggiato

Proceedings of the Coordination Models and Languages, 2016

2014

Can We Efficiently Check Concurrent Programs Under Relaxed Memory Models in Maude?

Yehia Abd Alrahman, Marina Andric, Alessandro Beggiato, Alberto Lluch-Lafuente

Proceedings of the Rewriting Logic and Its Applications - 10th International Workshop, 2014