Explaining Behavioural Inequivalence Generically in Quasilinear Time
Publication year
2021Publisher
Dagstuhl : Schloss Dagstuhl - Leibniz-Zentrum für Informatik
ISBN
9783959772037
In
Leibniz International Proceedings in Informatics, (2021)Haddad, S. (ed.), CONCUR 2021: 32nd International Conference on Concurrency Theory, pp. 32:1-32:18ISSN
Annotation
CONCUR 2021
Publication type
Article in monograph or in proceedings

Display more detailsDisplay less details
Editor(s)
Haddad, S.
Organization
Software Science
Journal title
Leibniz International Proceedings in Informatics
Book title
Haddad, S. (ed.), CONCUR 2021: 32nd International Conference on Concurrency Theory
Page start
p. 32:1
Page end
p. 32:18
Subject
Software ScienceThis item appears in the following Collection(s)
- Academic publications [227388]
- Electronic publications [107139]
- Faculty of Science [33750]
- Open Access publications [76283]
Upload full text
Use your RU credentials (u/z-number and password) to log in with SURFconext to upload a file for processing by the repository team.