ornela dardha
Type Systems for Distributed Programs: Components and Sessions
Sofort lieferbarIn this book we develop powerful techniques based on formal methods for the verification of ...
Type Systems for Distributed Programs: Components and Sessions
Print on DemandIn this book we develop powerful techniques based on formal methods for the verification of corre...
Coordination Models and Languages
Print on DemandThis book constitutes the refereed proceedings of the 23rd IFIP WG 6.1 International Conference o...
- 1