DMCA

A Ground-Complete Axiomatization of Stateless Bisimilarity over Linda ✩

Cached

Download Links

by Luca Aceto A , Anna Ingolfsdottir A , Eugen-ioan Goriac A