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

Bibliographic Details
Main Author: Filipe, Luís Cruz (author)
Other Authors: Lanese, Ivan (author), Martins, Francisco (author), Ravara, António (author), Vasconcelos, Vasco T. (author)
Format: report
Language:por
Published: 2009
Subjects:
Process calculus
bisimulation
services
Online Access:http://hdl.handle.net/10451/14225
Country:Portugal
Oai:oai:repositorio.ul.pt:10451/14225
Description
Summary: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

Similar Items