Maria Grazia Vigliotti

Identifiers

• name variant Maria Grazia Vigliotti 0.60 · backfill

Papers (3)

1. Operational semantics for product-form solution cs.PF · 2012 · author #1
2. Note on a simple type system for non-interference cs.LO · 2011 · author #2
3. From X to Pi; Representing the Classical Sequent Calculus in the Pi-calculus cs.LO · 2011 · author #3

Mentions

• 1212.4846 #1 · backfill · confidence 0.70 Maria Grazia Vigliotti
• 1109.4843 #2 · backfill · confidence 0.70 Maria Grazia Vigliotti
• 1109.4817 #3 · backfill · confidence 0.70 Maria Grazia Vigliotti

Frequent Coauthors

• Steffen van Bakel 2 shared papers
• Luca Cardelli 1 shared papers