Browse by Person

Up a level
Export as [feed] Atom [feed] RSS 1.0 [feed] RSS 2.0
Group by: Item Type | No Grouping
Number of items: 1.

Proceedings Paper

Brunet, P., Pous, D. and Struth, G. (2017) On decidability of concurrent Kleene algebra. In: Meyer, R. and Nestmann, U., (eds.) LIPIcs. 28th International Conference on Concurrency Theory (CONCUR 2017) , 05-08 Sep 2018, Berlin, Germany. Schloss Dagstuhl - Leibniz-Zentrum für Informatik . ISBN 9783959770484

This list was generated on Sat Jan 18 16:11:18 2020 GMT.