Type systems for distributed programs components and sessions /

• 作者：by Ornela Dardha.
• 出版者：Atlantis Press : Imprint: Atlantis Press
• 出版地：Paris :
• 語文：英語
• 叢書名：Atlantis studies in computing,
• 電子資源：http://dx.doi.org/10.2991/978-94-6239-204-5
• ISBN/ISSN/ISRC：9789462392045 ; 9789462392038
• 作者：Dardha, Ornela.
• 索書號：005.14