Alessandro Beggiato

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

Collaborative distances:

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

2018

Multilevel transitive and intransitive non-interference, causally.

Paolo Baldan, Alessandro Beggiato

Theor. Comput. Sci., 2018

2017

Many-to-Many Information Flow Policies.

Paolo Baldan, Alessandro Beggiato, Alberto Lluch-Lafuente

Proceedings of the Coordination Models and Languages, 2017

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