Non-finite Axiomatisability Results via Reductions: CSP Parallel Composition and CCS Restriction

Autor:	Luca Aceto, Elli Anastasiadi, Valentina Castiglioni, Anna Ingólfsdóttir
Rok vydání:	2022
Zdroj:	Lecture Notes in Computer Science ISBN: 9783031156281
DOI:	10.1007/978-3-031-15629-8_1
Databáze:	OpenAIRE
Externí odkaz:	https://explore.openaire.eu/search/publication?articleId=doi_________::55542a82d3fd9b24295e5b93460b657c https://doi.org/10.1007/978-3-031-15629-8_1 Zobrazit plný text záznamu