Travelled to:
1 × Taiwan
Collaborated with:
R.Accorsi
Talks about:
workflow (1) guarante (1) strong (1) model (1) leak (1) non (1)
Person: Claus Wonnemann
DBLP: Wonnemann:Claus
Contributed to:
Wrote 1 papers:
- SAC-2011-AccorsiW #modelling #workflow
- Strong non-leak guarantees for workflow models (RA, CW), pp. 308–314.