If you made any changes in Pure these will be visible here soon.

Research Output 2007 2020

Filter
Ph.D. thesis
2013

Choreographic Programming

Montesi, F., 2013, IT University of Copenhagen.

Research output: Book/anthology/thesis/reportPh.D. thesisResearch

Hazards and race conditions
Formal logic
Distributed computer systems
Computer programming
Computer programming languages