Volume 100

1

A type checking algorithm for concurrent object protocols

Année:
2018
Langue:
english
Fichier:
PDF, 611 KB
english, 2018
3

Finding models through graph saturation

Année:
2018
Langue:
english
Fichier:
PDF, 568 KB
english, 2018
7

conformance relation

Année:
2018
Langue:
english
Fichier:
PDF, 812 KB
english, 2018