Browse by ISBN
B
Bacci, Giorgio and Bacci, Giovanni and Larsen, Kim G. and Mardare, Radu; Desharnais, Josee and Jagadeesan, Radha, eds. (2016) Complete axiomatization for the bisimilarity distance on Markov chains. In: 27th International Conference on Concurrency Theory, CONCUR 2016. Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, CAN. ISBN 9783959770170
H
Horne, Ross and Tiu, Alwen and Aman, Bogdan and Ciobanu, Gabriel; Desharnais, Josée and Jagadeesan, Radha, eds. (2016) Private names in non-commutative logic. In: 27th International Conference on Concurrency Theory (CONCUR 2016). Leibniz International Proceedings in Informatics . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, Saarbrücken/Wadern, 31:1-31:16. ISBN 9783959770170