Bisimulations in SSCC

Detalhes bibliográficos
Autor(a) principal: Filipe, Luís Cruz
Data de Publicação: 2007
Outros Autores: Lanese, Ivan, Martins, Francisco, Ravara, António, Vasconcelos, Vasco T.
Tipo de documento: Relatório
Idioma: por
Título da fonte: Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
Texto Completo: http://hdl.handle.net/10451/14225
Resumo: This report studies different definitions of bisimulation within the Stream-Based Service-Centered Calculus (SSCC) and shows that both strong and weak ground bisimulation are non-input congruences
id RCAP_8f889afee66c566c780a4b1cd78c4525
oai_identifier_str oai:repositorio.ul.pt:10451/14225
network_acronym_str RCAP
network_name_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository_id_str 7160
spelling Bisimulations in SSCCProcess calculusbisimulationservicesThis report studies different definitions of bisimulation within the Stream-Based Service-Centered Calculus (SSCC) and shows that both strong and weak ground bisimulation are non-input congruencesDepartment of Informatics, University of LisbonRepositório da Universidade de LisboaFilipe, Luís CruzLanese, IvanMartins, FranciscoRavara, AntónioVasconcelos, Vasco T.2009-02-10T13:11:43Z2007-122007-12-01T00:00:00Zinfo:eu-repo/semantics/publishedVersioninfo:eu-repo/semantics/reportapplication/pdfhttp://hdl.handle.net/10451/14225porinfo:eu-repo/semantics/openAccessreponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãoinstacron:RCAAP2023-11-08T15:59:54Zoai:repositorio.ul.pt:10451/14225Portal AgregadorONGhttps://www.rcaap.pt/oai/openaireopendoar:71602024-03-19T21:36:03.087647Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informaçãofalse
dc.title.none.fl_str_mv Bisimulations in SSCC
title Bisimulations in SSCC
spellingShingle Bisimulations in SSCC
Filipe, Luís Cruz
Process calculus
bisimulation
services
title_short Bisimulations in SSCC
title_full Bisimulations in SSCC
title_fullStr Bisimulations in SSCC
title_full_unstemmed Bisimulations in SSCC
title_sort Bisimulations in SSCC
author Filipe, Luís Cruz
author_facet Filipe, Luís Cruz
Lanese, Ivan
Martins, Francisco
Ravara, António
Vasconcelos, Vasco T.
author_role author
author2 Lanese, Ivan
Martins, Francisco
Ravara, António
Vasconcelos, Vasco T.
author2_role author
author
author
author
dc.contributor.none.fl_str_mv Repositório da Universidade de Lisboa
dc.contributor.author.fl_str_mv Filipe, Luís Cruz
Lanese, Ivan
Martins, Francisco
Ravara, António
Vasconcelos, Vasco T.
dc.subject.por.fl_str_mv Process calculus
bisimulation
services
topic Process calculus
bisimulation
services
description This report studies different definitions of bisimulation within the Stream-Based Service-Centered Calculus (SSCC) and shows that both strong and weak ground bisimulation are non-input congruences
publishDate 2007
dc.date.none.fl_str_mv 2007-12
2007-12-01T00:00:00Z
2009-02-10T13:11:43Z
dc.type.status.fl_str_mv info:eu-repo/semantics/publishedVersion
dc.type.driver.fl_str_mv info:eu-repo/semantics/report
format report
status_str publishedVersion
dc.identifier.uri.fl_str_mv http://hdl.handle.net/10451/14225
url http://hdl.handle.net/10451/14225
dc.language.iso.fl_str_mv por
language por
dc.rights.driver.fl_str_mv info:eu-repo/semantics/openAccess
eu_rights_str_mv openAccess
dc.format.none.fl_str_mv application/pdf
dc.publisher.none.fl_str_mv Department of Informatics, University of Lisbon
publisher.none.fl_str_mv Department of Informatics, University of Lisbon
dc.source.none.fl_str_mv reponame:Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
instname:Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron:RCAAP
instname_str Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
instacron_str RCAAP
institution RCAAP
reponame_str Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
collection Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos)
repository.name.fl_str_mv Repositório Científico de Acesso Aberto de Portugal (Repositórios Cientìficos) - Agência para a Sociedade do Conhecimento (UMIC) - FCT - Sociedade da Informação
repository.mail.fl_str_mv
_version_ 1799134259347193856

Registros relacionados