%0 Generic %1 rensink_95_eventbased %A Rensink, Arend %D 1995 %K 1995 refinement _to_review 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-02-12T11:40:50.000+0100}, author = {Rensink, Arend}, biburl = {https://www.bibsonomy.org/bibtex/20c613240bb702fce88f66042088f885f/leonardo}, citeseerurl = {http://citeseer.ist.psu.edu/117456.html}, citeulike-article-id = {771703}, interhash = {2d1b4fabb2fd2f7d5d1b7418e5b4f086}, intrahash = {0c613240bb702fce88f66042088f885f}, keywords = {1995 refinement _to_review sos}, posted-at = {2006-07-24 19:44:36}, priority = {4}, timestamp = {2009-02-12T11:40:50.000+0100}, title = {An Event-Based SOS for a Language with Refinement}, url = {http://citeseer.ist.psu.edu/117456.html}, year = 1995 }