DocumentCode
3256045
Title
On operational equivalence of COSY programs
Author
Prószynski, Piotr W.
Author_Institution
Jodrey Sch. of Comput. Sci., Acadia Univ., Wolfville, NS, Canada
fYear
1992
fDate
28-30 May 1992
Firstpage
191
Lastpage
196
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;
fLanguage
English
Publisher
ieee
Conference_Titel
Computing and Information, 1992. Proceedings. ICCI '92., Fourth International Conference on
Conference_Location
Toronto, Ont.
Print_ISBN
0-8186-2812-X
Type
conf
DOI
10.1109/ICCI.1992.227675
Filename
227675
Link To Document