A fully abstract semantics of classes for Object-Z Export

@article{citeulike:3757394, abstract = {This paper presents a fully abstract semantics of classes for the object oriented formal specification language Object-Z. Such a semantics includes no unnecessary syntactic details and, hence, describes a class in terms of the external behaviour of its objects only. The semantics, based on an extension of existing process models, defines a notion of behavioural equivalence which is stronger than that of CSP and weaker than that of CCS.}, author = {Smith, Graeme}, citeulike-article-id = {3757394}, citeulike-linkout-0 = {http://dx.doi.org/10.1007/BF01211075}, citeulike-linkout-1 = {http://www.springerlink.com/content/mg1153u356x74555}, day = {1}, doi = {10.1007/BF01211075}, journal = {Formal Aspects of Computing}, keywords = {1995, \_to\_download\_springer, ccs, csp, object-z, semantics}, month = {May}, number = {3}, pages = {289--313}, posted-at = {2008-12-08 17:36:50}, priority = {2}, title = {A fully abstract semantics of classes for Object-Z}, url = {http://dx.doi.org/10.1007/BF01211075}, volume = {7}, year = {1995} }

TY - JOUR ID - citeulike:3757394 L3 - citeulike-article-id:3757394 N2 - This paper presents a fully abstract semantics of classes for the object oriented formal specification language Object-Z. Such a semantics includes no unnecessary syntactic details and, hence, describes a class in terms of the external behaviour of its objects only. The semantics, based on an extension of existing process models, defines a notion of behavioural equivalence which is stronger than that of CSP and weaker than that of CCS. IS - 3 JF - Formal Aspects of Computing EP - 313 TI - A fully abstract semantics of classes for Object-Z VL - 7 SP - 289 KW - 1995 KW - _to_download_springer KW - ccs KW - csp KW - object-z KW - semantics AU - Smith, Graeme PY - 1995/05/01/ UR - http://dx.doi.org/10.1007/BF01211075 ER -