%0 Generic %1 rensink_95_eventbased %A Rensink, Arend %D 1995 %K 1995 \_to\_review refinement \_pdf sos %T An Event-Based SOS for a Language with Refinement %U http://citeseer.ist.psu.edu/117456.html %X The notion of action refinement has been studied intensively in the past few years. It is usually introduced in the form of an operator in a process algebraic language, for which a denotational semantics in a suitable model is then given. In this paper we complement this approach by defining a corresponding operational semantics for refinement, in the form of derivation rules for a transition relation. Because of the (well-known) fact that ordinary transition systems are not expressive enough...

@misc{rensink_95_eventbased, abstract = {The notion of action refinement has been studied intensively in the past few years. It is usually introduced in the form of an operator in a process algebraic language, for which a denotational semantics in a suitable model is then given. In this paper we complement this approach by defining a corresponding operational semantics for refinement, in the form of derivation rules for a transition relation. Because of the (well-known) fact that ordinary transition systems are not expressive enough...}, added-at = {2009-03-10T04:53:10.000+0100}, author = {Rensink, Arend}, biburl = {https://www.bibsonomy.org/bibtex/29d5ac0643311591dfb5734e7e7435aa2/leonardo}, citeseerurl = {http://citeseer.ist.psu.edu/117456.html}, citeulike-article-id = {771703}, interhash = {f708635ad2f64209d413ade4117cec8d}, intrahash = {9d5ac0643311591dfb5734e7e7435aa2}, keywords = {1995 \_to\_review refinement \_pdf sos}, posted-at = {2006-07-24 19:44:36}, priority = {4}, timestamp = {2009-03-10T04:53:10.000+0100}, title = {An Event-Based SOS for a Language with Refinement}, url = {http://citeseer.ist.psu.edu/117456.html}, year = 1995 }