Maria Grazia Vigliotti

Probabilistic Mobile Ambients

Marta Kwiatkowska, Gethin Norman, David Parker et al. · Theoretical Computer Science · 2009 · 38 citations

Mobile Sensing, Engineering, Smart City +9

What Do We Mean by Smart Contracts? Open Challenges in Smart Contracts

Maria Grazia Vigliotti · Frontiers in Blockchain · 2021 · 35 citations · Full text

Negotiation, Legal Implications, Open Challenges +17

Tutorial on separation results in process calculi via leader election problems

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi · Theoretical Computer Science · 2007 · 27 citations · Full text

Process Calculi, Separation Results, Voting Rule +2

A general result for deriving product-form solutions in markovian models

Andrea Marin, Maria Grazia Vigliotti · 2010 · 21 citations

Engineering, Markovian Models, Stochastic Analysis +21

Leader election in rings of ambient processes

Iain Phillips, Maria Grazia Vigliotti · Theoretical Computer Science · 2006 · 19 citations · Full text

Process Calculus, Management, Process Analysis +1