Percorrer por assunto Coalgebra

Índice: 0-9 A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

ou inserir as letras iniciais:  

Mostrar 1-17 de um total de 17 resultados.
DataTítuloAutor(es)TipoAcesso
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
Dez-2012A calculus for generic, QoS-aware component compositionBarbosa, L. S.; Meng, SunArtigoAcesso aberto
2013A coalgebraic perspective on logical interpretationsMartins, M. A.; Madeira, A.; Barbosa, L. S.ArtigoAcesso aberto
2006Components as coalgebras : the refinement dimensionBarbosa, L. S.; Sun MengArtigoAcesso aberto
2000Components as processes: an exercise in coalgebraic modelingBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
29-Jan-2021Fuzzy automata as coalgebrasLiu, Ai; Wang, Shun; Barbosa, L. S., et al.ArtigoAcesso aberto
2006Generic process algebra: a programming challengeBarbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R.ArtigoAcesso aberto
Out-2018Languages and models for hybrid automata: A coalgebraic perspectiveNeves, Renato Jorge Araújo; Barbosa, L. S.ArtigoAcesso aberto
Jan-2018Layered logics, coalgebraicallyBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2005On refinement of software architecturesMeng, Sun; Barbosa, L. S.; Naixiao, ZhangArtigo em ata de conferênciaAcesso aberto
2004On semantics and refinement of UML statecharts: a coalgebraic viewSun Meng; Zhang Naixiao; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Set-2012Software components as invariant-typed arrowsBarbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2013Sound and complete axiomatizations of coalgebraic language equivalenceBonsangue, Marcello; Milius, Stefan; Silva, Alexandra M.ArtigoAcesso aberto
2003Towards a calculus of state-based software componentsBarbosa, L. S.ArtigoAcesso aberto
2015Trace semantics via determinizationJacobs, Bart; Silva, Alexandra; Sokolova, AnaArtigoAcesso aberto
2006Transposing partial components: an exercise on coalgebraic refinementOliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
2007A type-level approach to component prototypingBarbosa, L. S.; Cunha, Jácome Miguel Costa; Visser, JoostArtigo em ata de conferênciaAcesso aberto
Mostrar 1-17 de um total de 17 resultados.