The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
The search session has expired. Please query the service again.
We present an abstract equational framework for the specification of systems having both observational and computational features. Our approach is based on a clear separation between the two categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined notion of reachability under computations. The relationship between the computations yielding new system...
We present an abstract equational framework for the specification of systems having both
observational and computational features. Our approach is based on a clear separation between the two
categories of features, and uses algebra, respectively coalgebra to formalise them. This yields a
coalgebraically-defined notion of observational indistinguishability, as well as an algebraically-defined
notion of reachability under computations. The relationship between the computations yielding new system
states...
Download Results (CSV)