%0 Conference Paper %1 beeck_00_behaviour %A von der Beeck, Michael %D 2000 %K _hardcopy refinement equivalence statecharts _no_doi 2000 %T Behaviour Specifications:Equivalence And Refinement %U http://citeseer.ist.psu.edu/673370.html %X Adequate notions of equivalence and refinement are needed to support the process of specification. Several notions thereof have been developed for process algebras, but not for more popular specification languages. We discuss semantic preconditions for the development of equivalence and refinement notions, investigate wishful properties of such notions, provide an overview of existing equivalence and refinement notions, and present a new refinement notion.

@inproceedings{beeck_00_behaviour, abstract = {Adequate notions of equivalence and refinement are needed to support the process of specification. Several notions thereof have been developed for process algebras, but not for more popular specification languages. We discuss semantic preconditions for the development of equivalence and refinement notions, investigate wishful properties of such notions, provide an overview of existing equivalence and refinement notions, and present a new refinement notion.}, added-at = {2009-02-11T22:22:38.000+0100}, author = {von der Beeck, Michael}, biburl = {https://www.bibsonomy.org/bibtex/25cc840f97606337f856bb2be272cab86/leonardo}, citeulike-article-id = {472566}, interhash = {8a778bbd7a94fdf2793a1a1ab89e3d7b}, intrahash = {5cc840f97606337f856bb2be272cab86}, keywords = {_hardcopy refinement equivalence statecharts _no_doi 2000}, posted-at = {2006-01-20 15:35:46}, priority = {4}, timestamp = {2009-02-11T22:22:38.000+0100}, title = {Behaviour Specifications:Equivalence And Refinement}, url = {http://citeseer.ist.psu.edu/673370.html}, year = 2000 }