Travelled to:1 × Canada
1 × Denmark
1 × The Netherlands
Collaborated with:S.Gnesi G.L.Ferrari U.Montanari M.Pistore R.D.Nicola A.Fantechi G.Ferro
Talks about:process (2) environ (2) verifi (2) mobil (2) base (2) framework (1) behaviour (1) properti (1) concurr (1) system (1)
Person: Gioia Ristori
DBLP: Ristori:Gioia
Contributed to:
1998
19971991Wrote 3 papers:
- CAV-1998-FerrariGMPR #mobile #process #verification
- Verifying Mobile Processes in the HAL Environment (GLF, SG, UM, MP, GR), pp. 511–515.
- TACAS-1997-FerrariFGMPR #automation #mobile #process #verification
- An Automated Based Verification Environment for Mobile Processes (GLF, GF, SG, UM, MP, GR), pp. 275–289.
- CAV-1991-NicolaFGR #behaviour #concurrent #framework #logic #verification
- An Action Based Framework for Verifying Logical and Behavioural Properties of Concurrent Systems (RDN, AF, SG, GR), pp. 37–47.