Type Systems for Distributed Programs: Components and Sessions - 9789462392038

Type Systems for Distributed Programs: Components and Sessions by Ornela Dardha

Prez - Formal Techniques for Distributed Objects Components and Sys - X555z

Albert - Formal Techniques for Distributed Objects Components and Sy - X555z

Peters - Formal Techniques for Distributed Objects Components and Sy - X555z

Derrick - Formal Techniques for Networked and Distributed Systems - Fo - X555z

Graf - Formal Techniques for Distributed Objects Components and Syst - X555z

Higuera-Toledano - Distributed Embedded and Real-time Java Systems - - X555z