Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/38259
Título: | Brzozowski's and up-to algorithms for must testing |
Autor(es): | Bonchi, Filippo Caltais, Georgiana Pous, Damien Silva, Alexandra |
Data: | 2013 |
Editora: | Springer |
Revista: | Lecture Notes in Computer Science (including Subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) |
Resumo(s): | Checking language equivalence (or inclusion) of finite automata is a classical problem in Computer Science, which has recently received a renewed interest and found novel and more effective solutions, such as approaches based on antichains or bisimulations up-to. Several notions of equivalence (or preorder) have been proposed for the analysis of concurrent systems. Usually, the problem of checking these equivalences is reduced to checking bisimilarity. In this paper, we take a diferent approach and propose to adapt algorithms for language equivalence to check one prime equivalence in concurrency theory, must testing semantics. To achieve this transfer of technology from language to must semantics, we take a coalgebraic outlook at the problem. |
Tipo: | Artigo em ata de conferência |
URI: | https://hdl.handle.net/1822/38259 |
ISBN: | 978-3-319-03541-3 |
DOI: | 10.1007/978-3-319-03542-0_1 |
ISSN: | 0302-9743 |
Versão da editora: | http://link.springer.com/chapter/10.1007/978-3-319-03542-0_1 |
Arbitragem científica: | yes |
Acesso: | Acesso aberto |
Aparece nas coleções: |