Title :
On operational equivalence of COSY programs
Author :
Prószynski, Piotr W.
Author_Institution :
Jodrey Sch. of Comput. Sci., Acadia Univ., Wolfville, NS, Canada
Abstract :
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
Keywords :
concurrency control; formal specification; parallel programming; specification languages; COSY programs; behaviorally equivalent; bisimulation; concurrent systems programs; equivalence; observationally equivalent programs; operational equivalence; operational semantics; Computer science; Concurrent computing; Electronic mail; Interleaved codes; Intersymbol interference;
Conference_Titel :
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location :
Toronto, Ont.
Print_ISBN :
0-8186-2812-X
DOI :
10.1109/ICCI.1992.227675
