Universidad Complutense de Madrid
E-Prints Complutense

IndexAuthor

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Number of items: 2.

Aceto, L. and Frutos Escrig, David de (2017) Special issue: Selected papers from the 26th International Conference on Concurrency Theory (CONCUR 2015). Acta Informatica, 54 (1). pp. 1-2. ISSN 0001-5903

Aceto, L. and Frutos Escrig, David de and Ingolfsdottir, Anna (2017) Trace simulation semantics is not finitely based over BCCSP. Acta Cybernetica, 23 (1). pp. 81-90. ISSN 0324721X

This list was generated on Mon Oct 21 10:03:49 2019 CEST.