P. Degano

发表

Surmising is sometimes better than proving

Sirovich Franco, P. Degano, 1978 .

Semantic-driven aspect oriented programming of distributed applications

Corrado Priami, Linda Brodo, P. Degano, 2001 .

Relating two automata-based models of orchestration and choreography

P. Degano, D. Basile, G. L. Ferrari, 2016, J. Log. Algebraic Methods Program..

Observing Concurrency via Proved Trees

C. Priami, P. Degano, 1992 .