Travelled to:1 × France
1 × Germany
1 × USA
Collaborated with:S.Guerrini S.Martini M.Danelutto
Talks about:proof (2) net (2) properti (1) approach (1) specifi (1) concurr (1) tempor (1) system (1) garbag (1) comput (1)
Person: Andrea Masini
DBLP: Masini:Andrea
Contributed to:
1997
1996
1988Wrote 3 papers:
- TLCA-1997-GuerriniMM #proving
- Proof Nets, Garbage, and Computations (SG, SM, AM), pp. 181–195.
- RTA-1996-GuerriniMM #proving
- Coherence for Sharing Proof Nets (SG, SM, AM), pp. 215–229.
- CSL-1988-DaneluttoM #approach #concurrent #finite #logic
- A temporal Logic Approach to Specify and to Prove Properties of Finite State Concurrent Systems (MD, AM), pp. 63–79.