Languages and models for hybrid automata: A coalgebraic perspective

article in press

Detalhes bibliográficos
Autor principal: Neves, Renato Jorge Araújo (author)
Outros Autores: Barbosa, L. S. (author)
Formato: article
Idioma:eng
Publicado em: 2018
Assuntos:
Hybrid Automata
Coalgebra
Bisimulation
Regular expression
Ciências Naturais::Ciências da Computação e da Informação
Science & Technology
Texto completo:http://hdl.handle.net/1822/69183
País:Portugal
Oai:oai:repositorium.sdum.uminho.pt:1822/69183

Texto Completo

http://hdl.handle.net/1822/69183

Registros relacionados