Collaborated with:
D.Ancona E.Zucca
Talks about:
coaxiom (2) behaviour (1) infinit (1) general (1) system (1) reason (1) diverg (1) comput (1) model (1) infer (1)
Person: Francesco Dagnino
DBLP: Dagnino:Francesco
Contributed to:
Wrote 3 papers:
- ESOP-2017-AnconaDZ #axiom
- Generalizing Inference Systems by Coaxioms (DA, FD, EZ), pp. 29–55.
- OOPSLA-2017-AnconaDZ #axiom #reasoning
- Reasoning on divergent computations with coaxioms (DA, FD, EZ), p. 26.
- ECOOP-2018-AnconaDZ #behaviour #infinity #modelling
- Modeling Infinite Behaviour by Corules (DA, FD, EZ), p. 31.