Logo do repositório
 
Publicação

Bisimulations in SSCC

2007-12Relatório Acesso aberto
Ver registo simples
dc.contributor.authorFilipe, Luís Cruzpor
dc.contributor.authorLanese, Ivanpor
dc.contributor.authorMartins, Franciscopor
dc.contributor.authorRavara, Antóniopor
dc.contributor.authorVasconcelos, Vasco T.por
dc.date.accessioned2009-02-10T13:11:43Zpor
dc.date.accessioned2014-11-14T16:24:08Z
dc.date.available2009-02-10T13:11:43Zpor
dc.date.available2014-11-14T16:24:08Z
dc.date.issued2007-12por
dc.description.abstractThis 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 congruencespor
dc.identifier.urihttp://hdl.handle.net/10451/14225por
dc.identifier.urihttp://repositorio.ul.pt/handle/10455/2928por
dc.language.isoporpor
dc.publisherDepartment of Informatics, University of Lisbonpor
dc.relation.ispartofseriesdi-fcul-tr-07-37por
dc.subjectProcess calculuspor
dc.subjectbisimulationpor
dc.subjectservicespor
dc.titleBisimulations in SSCCpor
dc.typereport
dspace.entity.typePublication
rcaap.rightsopenAccesspor
rcaap.typereportpor

Ficheiros

Principais
A mostrar 1 - 1 de 1
Miniatura
Nome:
07-37.pdf
Tamanho:
210.54 KB
Formato:
Adobe Portable Document Format
Ver/Abrir

Coleções

FC-DI - Technical Reports