root.skip-to-content
Português
English
Entrar
Entrar com CIÊNCIA-ID
Endereço de email
Palavra-chave
Entrar
Novo utilizador? Clique aqui para se registar.
Esqueceu a palavra-chave?
Comunidades & Coleções
Percorrer repositório
Entidades
Estatísticas
Português
English
Entrar
Entrar com CIÊNCIA-ID
Endereço de email
Palavra-chave
Entrar
Novo utilizador? Clique aqui para se registar.
Esqueceu a palavra-chave?
Página inicial
Faculdade de Ciências (FC)
Departamento de Informática / Department of Informatics (FC-DI)
Lasige - Large-Scale Informatics Systems Laboratory (FC-DI-Lasige)
FC-DI-Lasige - Articles in International Journals
Fundamentals of Session Types, Formal Methods for Web Services
Miniatura indisponível
Publicação
Fundamentals of Session Types, Formal Methods for Web Services
2009
Artigo científico
Apenas metadados
http://hdl.handle.net/10451/14663
Utilize este identificador para referenciar este registo.
Contacte-nos
Autores
Vasco T. Vasconcelos
Orientador(es)
Resumo(s)
Descrição
Palavras-chave
Computer Science
URI
http://hdl.handle.net/10451/14663
http://repositorio.ul.pt/handle/10455/6261
Contexto Educativo
Citação
Projetos de investigação
Unidades organizacionais
Fascículo
Editora
9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009
Coleções
FC-DI-Lasige - Articles in International Journals
Licença CC
Ver registo completo