Up-To Techniques for Behavioural Metrics via Fibrations

This is a publication. If there is no link to the publication on this page, you can try the pre-formated search via the search engines listed on this page.

Authors: Bonchi, Filippo; König, Barbara; Petrisan, Daniela

Journal title: 29th International Conference on Concurrency Theory (CONCUR 2018)

Journal number: 1

Journal publisher: Dagstuhl

Published year: 2018