Utilize este identificador para referenciar este registo:
https://hdl.handle.net/1822/40376| Título: | Coalgebraic logic and synthesis of mealy machines |
| Autor(es): | Bonsangue, Marcello Rutten, Jan Silva, Alexandra |
| Data: | 2008 |
| Editora: | Springer Verlag |
| Resumo(s): | We present a novel coalgebraic logic for deterministic Mealy machines that is sound, complete and expressive w.r.t. bisimulation. Every finite Mealy machine corresponds to a finite formula in the language. For the converse, we give a compositional synthesis algorithm which transforms every formula into a finite Mealy machine whose behaviour is exactly the set of causal functions satisfying the formula. |
| Tipo: | Artigo em ata de conferência |
| URI: | https://hdl.handle.net/1822/40376 |
| ISSN: | 0302-9743 |
| Arbitragem científica: | yes |
| Acesso: | Acesso aberto |
| Aparece nas coleções: |
