Pesquisa avançada

.

Filtros atuais:

Usar filtros adicionais para refinar os resultados da pesquisa:

 |          

Lista de resultados: 1-10 de um total de 22 resultados (tempo de pesquisa: 0.14 segundos).
DataTítuloAutor(es)TipoAcesso
2008An exercise on transition systemsRibeiro, Paula R.; Barbosa, L. S.; Wang, ShulingArtigoAcesso aberto
2005From algebras to objects: generation and compositionCruz, A. Miguel; Barbosa, L. S.; Oliveira, José Nuno FonsecaArtigoAcesso aberto
2006Generic process algebra: a programming challengeBarbosa, L. S.; Barbosa, Marco António; Ribeiro, Paula R.ArtigoAcesso aberto
2009Which mathematics for the Information Society?Ferreira, João Fernando; Mendes, Alexandra; Backhouse, Roland; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
2009A perspective on service orchestrationBarbosa, Marco António; Barbosa, L. S.ArtigoAcesso aberto
2008On the discovery of business processes orchestration patternsRodrigues, Nuno F.; Barbosa, L. S.Artigo em ata de conferênciaAcesso aberto
Nov-2009Implementation of an orchestration language as a haskell domain specific languageCampos, Marco Devesas; Barbosa, L. S.ArtigoAcesso aberto
2005Architectural prototyping: from ccs to .netRodrigues, Nuno F.; Barbosa, L. S.ArtigoAcesso aberto
2009A single complete relational rule for coalgebraic refinementRodrigues, César J.; Oliveira, José Nuno Fonseca; Barbosa, L. S.ArtigoAcesso aberto
2008Calculating invariants as coreflexive bisimulationsBarbosa, L. S.; Oliveira, José Nuno Fonseca; Silva, AlexandraArtigo em ata de conferênciaAcesso aberto
1-10 de um total de 22 resultados (tempo de pesquisa: 0.14 segundos).

Descobrir