BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Tuosto:Emilio

Facilitated 1 volumes:

GT-VMT 2010Ed

Contributed to:

POPL 20152015
ESOP 20142014
FOSSACS 20122012
ICGT 20082008
FoSSaCS 20052005
QAPL 20052006
SEFM 20052005
QAPL 20042005
SAC 20012001
Ada-Europe 19991999

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.