Utilize este identificador para referenciar este registo: http://hdl.handle.net/10451/14225
Título: Bisimulations in SSCC
Autor: Filipe, Luís Cruz
Lanese, Ivan
Martins, Francisco
Ravara, António
Vasconcelos, Vasco T.
Palavras-chave: Process calculus
bisimulation
services
Data: Dez-2007
Editora: Department of Informatics, University of Lisbon
Relatório da Série N.º: di-fcul-tr-07-37
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
URI: http://hdl.handle.net/10451/14225
http://repositorio.ul.pt/handle/10455/2928
Aparece nas colecções:FC-DI - Technical Reports

Ficheiros deste registo:
Ficheiro Descrição TamanhoFormato 
07-37.pdf210,54 kBAdobe PDFVer/Abrir


FacebookTwitterDeliciousLinkedInDiggGoogle BookmarksMySpace
Formato BibTex MendeleyEndnote Degois 

Todos os registos no repositório estão protegidos por leis de copyright, com todos os direitos reservados.