Creol: a type-safe object-oriented model for distributed concurrent systems
Theoretical Computer Science - Components and objects
ABS: a core language for abstract behavioral specification
FMCO'10 Proceedings of the 9th international conference on Formal Methods for Components and Objects
Hi-index | 0.00 |