Travelled to:
1 × Italy
1 × Portugal
1 × South Africa
Collaborated with:
M.Carbone ∅ Wen Kokke M.Peressotti I.Lanese C.Guidi G.Zavattaro
Talks about:
process (3) program (2) choreographi (1) multiparti (1) asynchron (1) interact (1) deadlock (1) abstract (1) freedom (1) classic (1)
Person: Fabrizio Montesi
DBLP: Montesi:Fabrizio
Contributed to:
Wrote 4 papers:
- POPL-2013-CarboneM #multi #named #programming
- Deadlock-freedom-by-design: multiparty asynchronous global programming (MC, FM), pp. 263–274.
- SAC-2013-Montesi #programming #web
- Process-aware web programming with Jolie (FM), pp. 761–763.
- SEFM-2008-LaneseGMZ
- Bridging the Gap between Interaction- and Process-Oriented Choreographies (IL, CG, FM, GZ), pp. 323–332.
- POPL-2019-KokkeMP #process #semantics
- Better late than never: a fully-abstract semantics for classical processes (WK, FM, MP), p. 29.