The top documents tagged [pr ssa formal model]

Choreography-driven design

Choreography-driven design

54 views
Ivan LaneseDepartment of Computer Science University of Bologna INRIA research team FOCUS Choreography-driven design Joint work with: Mario Bravetti, Gianluigi.

Ivan LaneseDepartment of Computer Science University of Bologna INRIA research team FOCUS Choreography-driven design Joint work with: Mario Bravetti, Gianluigi.

213 views
Languages
Pages
Legal

Copyright © 2022 FDOCUMENTS