On operational equivalence of COSY programs
Piotr Prószyński · 2003
COSY equipped with an operational semantics, bisimulation, and equivalence between COSY programs are considered. The operational semantics enables the author to introduce a refined notion of an (observational) equivalence between COSY programs. His refinement is complete in this sense that observationally equivalent programs represent identical causality relations, i.e. they are behaviorally equivalent.>