Denotational semantics for occam 2
Main Authors: | , , |
---|---|
Format: | Journal article |
Published: |
1993
|
_version_ | 1797076328336326656 |
---|---|
author | Goldsmith, M Roscoe, A Scott, B |
author_facet | Goldsmith, M Roscoe, A Scott, B |
author_sort | Goldsmith, M |
collection | OXFORD |
description | |
first_indexed | 2024-03-07T00:02:31Z |
format | Journal article |
id | oxford-uuid:7672e746-f574-4b97-99e9-8a9bf5f3f938 |
institution | University of Oxford |
last_indexed | 2024-03-07T00:02:31Z |
publishDate | 1993 |
record_format | dspace |
spelling | oxford-uuid:7672e746-f574-4b97-99e9-8a9bf5f3f9382022-03-26T20:16:16ZDenotational semantics for occam 2Journal articlehttp://purl.org/coar/resource_type/c_dcae04bcuuid:7672e746-f574-4b97-99e9-8a9bf5f3f938Department of Computer Science1993Goldsmith, MRoscoe, AScott, B |
spellingShingle | Goldsmith, M Roscoe, A Scott, B Denotational semantics for occam 2 |
title | Denotational semantics for occam 2 |
title_full | Denotational semantics for occam 2 |
title_fullStr | Denotational semantics for occam 2 |
title_full_unstemmed | Denotational semantics for occam 2 |
title_short | Denotational semantics for occam 2 |
title_sort | denotational semantics for occam 2 |
work_keys_str_mv | AT goldsmithm denotationalsemanticsforoccam2 AT roscoea denotationalsemanticsforoccam2 AT scottb denotationalsemanticsforoccam2 |