Algebraic derivation of an operational semantics
| Main Authors: | , , |
|---|---|
| Format: | Conference item |
| Published: |
MIT Press
2000
|
| _version_ | 1826288610547073024 |
|---|---|
| author | Hoare, C He, J Sampaio, A |
| author_facet | Hoare, C He, J Sampaio, A |
| author_sort | Hoare, C |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T02:16:18Z |
| format | Conference item |
| id | oxford-uuid:a25935f1-f3b2-47ac-a733-adbf11423ae7 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T02:16:18Z |
| publishDate | 2000 |
| publisher | MIT Press |
| record_format | dspace |
| spelling | oxford-uuid:a25935f1-f3b2-47ac-a733-adbf11423ae72022-03-27T02:19:34ZAlgebraic derivation of an operational semanticsConference itemhttp://purl.org/coar/resource_type/c_5794uuid:a25935f1-f3b2-47ac-a733-adbf11423ae7Department of Computer ScienceMIT Press2000Hoare, CHe, JSampaio, A |
| spellingShingle | Hoare, C He, J Sampaio, A Algebraic derivation of an operational semantics |
| title | Algebraic derivation of an operational semantics |
| title_full | Algebraic derivation of an operational semantics |
| title_fullStr | Algebraic derivation of an operational semantics |
| title_full_unstemmed | Algebraic derivation of an operational semantics |
| title_short | Algebraic derivation of an operational semantics |
| title_sort | algebraic derivation of an operational semantics |
| work_keys_str_mv | AT hoarec algebraicderivationofanoperationalsemantics AT hej algebraicderivationofanoperationalsemantics AT sampaioa algebraicderivationofanoperationalsemantics |