Travelled to:1 × Italy
Collaborated with:G.Ciaccio R.Carvajal-Schiaffino G.Delzanno
Talks about:workstat (1) techniqu (1) structur (1) network (1) messag (1) combin (1) valid (1) petri (1) gamma (1) bound (1)
Person: Giovanni Chiola
DBLP: Chiola:Giovanni
Contributed to:
2001
1997Wrote 2 papers:
- TACAS-2001-Carvajal-SchiaffinoDC #bound #petri net #validation
- Combining Structural and Enumerative Techniques for the Validation of Bounded Petri Nets (RCS, GD, GC), pp. 435–449.
- PDP-1997-ChiolaC #low cost #named #network
- GAMMA: A low-cost network of workstations based on active messages (GC, GC), pp. 78–83.