Denotational semantics for occam 2

Bibliographic Details
Main Authors: Goldsmith, M, Roscoe, A, Scott, B
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