Browse by ISBN
L
Liu, Tiange and Tiu, Alwen and Horne, Ross; Bouyer, Patricia and van de Pol, Jaco, eds. (2025) Open Bisimilarity for the π-Calculus with Mismatch. In: 36th International Conference on Concurrency Theory, CONCUR 2025. Leibniz International Proceedings in Informatics, LIPIcs . Schloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing, DNK. ISBN 9783959773898

Up a level