Richiedi una copia del documento: A ground-complete axiomatization of stateless bisimilarity over Linda

Annulla