Denotational semantics for occam II
| Main Authors: | , , |
|---|---|
| Format: | Report |
| Published: |
Oxford University Computing Laboratory
1993
|
| _version_ | 1797102414575173632 |
|---|---|
| author | Roscoe, A Goldsmith, M Scott, B |
| author_facet | Roscoe, A Goldsmith, M Scott, B |
| author_sort | Roscoe, A |
| collection | OXFORD |
| description | |
| first_indexed | 2024-03-07T06:05:41Z |
| format | Report |
| id | oxford-uuid:edc1c60a-7f84-4a24-88d6-cc31a95fa366 |
| institution | University of Oxford |
| last_indexed | 2024-03-07T06:05:41Z |
| publishDate | 1993 |
| publisher | Oxford University Computing Laboratory |
| record_format | dspace |
| spelling | oxford-uuid:edc1c60a-7f84-4a24-88d6-cc31a95fa3662022-03-27T11:27:34ZDenotational semantics for occam IIReporthttp://purl.org/coar/resource_type/c_93fcuuid:edc1c60a-7f84-4a24-88d6-cc31a95fa366Department of Computer ScienceOxford University Computing Laboratory1993Roscoe, AGoldsmith, MScott, B |
| spellingShingle | Roscoe, A Goldsmith, M Scott, B Denotational semantics for occam II |
| title | Denotational semantics for occam II |
| title_full | Denotational semantics for occam II |
| title_fullStr | Denotational semantics for occam II |
| title_full_unstemmed | Denotational semantics for occam II |
| title_short | Denotational semantics for occam II |
| title_sort | denotational semantics for occam ii |
| work_keys_str_mv | AT roscoea denotationalsemanticsforoccamii AT goldsmithm denotationalsemanticsforoccamii AT scottb denotationalsemanticsforoccamii |