Αρχειοθήκη ιστολογίου

Τετάρτη 9 Μαΐου 2018

Concurrent Kleene Algebra: Free Model and Completeness.

Kappé, T; Brunet, P; Silva, A; Zanasi, F; (2018) Concurrent Kleene Algebra: Free Model and Completeness. In: Ahmed, A, (ed.) Programming Languages and Systems. (pp. pp. 856-882). Springer: Thessaloniki, Greece. Green open access

https://ift.tt/2wpSk3x

Δεν υπάρχουν σχόλια:

Δημοσίευση σχολίου