Bisimulations in SSCC

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

Detalhes bibliográficos
Autor principal: Filipe, Luís Cruz (author)
Outros Autores: Lanese, Ivan (author), Martins, Francisco (author), Ravara, António (author), Vasconcelos, Vasco T. (author)
Formato: report
Idioma:por
Publicado em: 2009
Assuntos:
Process calculus
bisimulation
services
Texto completo:http://hdl.handle.net/10451/14225
País:Portugal
Oai:oai:repositorio.ul.pt:10451/14225
Descrição
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

Registos relacionados