Orientador(es)
Resumo(s)
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
Descrição
Palavras-chave
Process calculus bisimulation services