×

zbMATH — the first resource for mathematics

Viroli, Mirko

Compute Distance To:
Author ID: viroli.mirko Recent zbMATH articles by "Viroli, Mirko"
Published as: Viroli, Mirko; Viroli, M
Documents Indexed: 31 Publications since 2002, including 4 Books

Publications by Year

Citations contained in zbMATH Open

15 Publications have been cited 30 times in 20 Documents Cited by Year
On variance-based subtyping for parametric types. Zbl 1049.68791
Igarashi, Atsushi; Viroli, Mirko
4
2002
Towards a formal foundation to orchestration languages. Zbl 1271.68196
Viroli, Mirko
4
2004
A core calculus for correlation in orchestration languages. Zbl 1178.68051
Viroli, Mirko
4
2007
Environment programming in CArtAgO. Zbl 1189.68150
Ricci, Alessandro; Piunti, Michele; Viroli, Mirko; Omicini, Andrea
2
2009
On the collective sort problem for distributed tuple spaces. Zbl 1183.68223
Casadei, Matteo; Viroli, Mirko; Gardelli, Luca
2
2009
Lightweight family polymorphism. Zbl 1159.68371
Igarashi, Atsushi; Saito, Chieri; Viroli, Mirko
2
2005
Type-based self-stabilisation for computational fields. Zbl 1448.68336
Damiani, Ferruccio; Viroli, Mirko
2
2015
simpA: an agent-oriented approach for programming concurrent applications on top of Java. Zbl 1211.68055
Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio
2
2011
A higher-order calculus of computational fields. Zbl 1407.68326
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
2
2019
Prototyping concurrent systems with agents and artifacts: framework and core calculus. Zbl 1277.68203
Ricci, Alessandro; Viroli, Mirko; Cimadamore, Maurizio
1
2008
Engineering a BPEL orchestration engine as a multi-agent system. Zbl 1121.68084
Viroli, Mirko; Denti, Enrico; Ricci, Alessandro
1
2007
Agent coordination contexts for the formal specification and enactment of coordination and security policies. Zbl 1103.68646
Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko
1
2006
Modelling agents as observable sources. Zbl 1258.68162
Viroli, Mirko; Omicini, Andrea
1
2002
Lightweight family polymorphism. Zbl 1138.68016
Saito, Chieri; Igarashi, Atsushi; Viroli, Mirko
1
2008
From distributed coordination to field calculus and aggregate computing. Zbl 1435.68049
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
1
2019
A higher-order calculus of computational fields. Zbl 1407.68326
Audrito, Giorgio; Viroli, Mirko; Damiani, Ferruccio; Pianini, Danilo; Beal, Jacob
2
2019
From distributed coordination to field calculus and aggregate computing. Zbl 1435.68049
Viroli, Mirko; Beal, Jacob; Damiani, Ferruccio; Audrito, Giorgio; Casadei, Roberto; Pianini, Danilo
1
2019
Type-based self-stabilisation for computational fields. Zbl 1448.68336
Damiani, Ferruccio; Viroli, Mirko
2
2015
simpA: an agent-oriented approach for programming concurrent applications on top of Java. Zbl 1211.68055
Ricci, Alessandro; Viroli, Mirko; Piancastelli, Giulio
2
2011
Environment programming in CArtAgO. Zbl 1189.68150
Ricci, Alessandro; Piunti, Michele; Viroli, Mirko; Omicini, Andrea
2
2009
On the collective sort problem for distributed tuple spaces. Zbl 1183.68223
Casadei, Matteo; Viroli, Mirko; Gardelli, Luca
2
2009
Prototyping concurrent systems with agents and artifacts: framework and core calculus. Zbl 1277.68203
Ricci, Alessandro; Viroli, Mirko; Cimadamore, Maurizio
1
2008
Lightweight family polymorphism. Zbl 1138.68016
Saito, Chieri; Igarashi, Atsushi; Viroli, Mirko
1
2008
A core calculus for correlation in orchestration languages. Zbl 1178.68051
Viroli, Mirko
4
2007
Engineering a BPEL orchestration engine as a multi-agent system. Zbl 1121.68084
Viroli, Mirko; Denti, Enrico; Ricci, Alessandro
1
2007
Agent coordination contexts for the formal specification and enactment of coordination and security policies. Zbl 1103.68646
Omicini, Andrea; Ricci, Alessandro; Viroli, Mirko
1
2006
Lightweight family polymorphism. Zbl 1159.68371
Igarashi, Atsushi; Saito, Chieri; Viroli, Mirko
2
2005
Towards a formal foundation to orchestration languages. Zbl 1271.68196
Viroli, Mirko
4
2004
On variance-based subtyping for parametric types. Zbl 1049.68791
Igarashi, Atsushi; Viroli, Mirko
4
2002
Modelling agents as observable sources. Zbl 1258.68162
Viroli, Mirko; Omicini, Andrea
1
2002

Citations by Year