Fundamentals of Session Types, Formal Methods for Web Services

Detalhes bibliográficos
Autor(a) principal: Vasco T. Vasconcelos
Data de Publicação: 2009
Tipo de documento: Artigo
Idioma: eng
Título da fonte: Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
Texto Completo: http://hdl.handle.net/10451/14663
id RCAP_eabc580d1acfa0fa6c87c11d1b8b9d42
oai_identifier_str oai:repositorio.ulisboa.pt:10455/6261
network_acronym_str RCAP
network_name_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository_id_str https://opendoar.ac.uk/repository/7160
spelling Fundamentals of Session Types, Formal Methods for Web ServicesComputer Science9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009Repositório da Universidade de LisboaVasco T. Vasconcelos2010-05-21T17:18:24Z20092009-01-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/articlehttp://hdl.handle.net/10451/14663enginfo:eu-repo/semantics/openAccessreponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiainstacron:RCAAP2025-03-17T13:13:39Zoai:repositorio.ulisboa.pt:10455/6261Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireinfo@rcaap.ptopendoar:https://opendoar.ac.uk/repository/71602025-05-29T02:38:16.980018Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologiafalse
dc.title.none.fl_str_mv Fundamentals of Session Types, Formal Methods for Web Services
title Fundamentals of Session Types, Formal Methods for Web Services
spellingShingle Fundamentals of Session Types, Formal Methods for Web Services
Vasco T. Vasconcelos
Computer Science
title_short Fundamentals of Session Types, Formal Methods for Web Services
title_full Fundamentals of Session Types, Formal Methods for Web Services
title_fullStr Fundamentals of Session Types, Formal Methods for Web Services
title_full_unstemmed Fundamentals of Session Types, Formal Methods for Web Services
title_sort Fundamentals of Session Types, Formal Methods for Web Services
author Vasco T. Vasconcelos
author_facet Vasco T. Vasconcelos
author_role author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Vasco T. Vasconcelos
dc.subject.por.fl_str_mv Computer Science
topic Computer Science
publishDate 2009
dc.date.none.fl_str_mv 2009
2009-01-01T00:00:00Z
2010-05-21T17:18:24Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/article
format article
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14663
url http://hdl.handle.net/10451/14663
dc.language.iso.fl_str_mv eng
language eng
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.publisher.none.fl_str_mv 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009
publisher.none.fl_str_mv 9th International School on Formal Methods for the Design of Computer, Communication, and Software Systems, SFM 2009
dc.source.none.fl_str_mv reponame:Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
instname:FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron:RCAAP
instname_str FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
instacron_str RCAAP
institution RCAAP
reponame_str Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
collection Repositórios Científicos de Acesso Aberto de Portugal (RCAAP)
repository.name.fl_str_mv Repositórios Científicos de Acesso Aberto de Portugal (RCAAP) - FCCN, serviços digitais da FCT – Fundação para a Ciência e a Tecnologia
repository.mail.fl_str_mv info@rcaap.pt
_version_ 1833601435063812096

Registros relacionados