Travelled to:1 × Estonia
1 × France
1 × Germany
1 × India
1 × Spain
1 × USA
2 × United Kingdom
Collaborated with:∅ G.L.Ferrari D.Hirsch J.Lange N.Yoshida L.Bocchi H.C.Melgratti A.Kurz T.Suzuki P.Cenciarelli D.Gorla U.Montanari A.Lluch-Lafuente
Talks about:applic (3) choreographi (2) communic (2) network (2) languag (2) coordin (2) nomin (2) mobil (2) level (2) implement (1)
Person: Emilio Tuosto
DBLP: Tuosto:Emilio
Facilitated 1 volumes:
EdContributed to:
2015
2014
2012
20082005
2006
20052005
2001
1999Wrote 10 papers:
- POPL-2015-LangeTY #communication #visual notation
- From Communicating Machines to Graphical Choreographies (JL, ET, NY), pp. 221–232.
- ESOP-2014-BocchiMT #nondeterminism
- Resolving Non-determinism in Choreographies (LB, HCM, ET), pp. 493–512.
- FoSSaCS-2012-KurzST #on the #regular expression
- On Nominal Regular Languages with Binders (AK, TS, ET), pp. 255–269.
- ICGT-2008-CenciarelliGT #bisimulation #graph #network
- Network Applications of Graph Bisimulation (PC, DG, ET), pp. 131–146.
- FoSSaCS-2005-FerrariMT #calculus #model checking
- Model Checking for Nominal Calculi (GLF, UM, ET), pp. 1–24.
- QAPL-2005-HirschLT06 #logic
- A Logic for Application Level QoS (DH, ALL, ET), pp. 135–159.
- SEFM-2005-HirschT #coordination #named
- SHReQ: Coordinating Application Level QoS (DH, ET), pp. 425–434.
- QAPL-2004-Tuosto05 #communication #named
- Tarzan: Communicating and Moving in Wireless Jungles (ET), pp. 77–94.
- SAC-2001-FerrariT #calculus #debugging #mobile
- A debugging calculus for mobile ambients (GLF, ET).
- AdaEurope-1999-Tuosto #ada #coordination #implementation #network
- An Ada95 Implementation of a Network Coordination Language with Code Mobility (ET), pp. 199–210.