{"id":"https://openalex.org/W3201864609","doi":"https://doi.org/10.1145/3477355.3477368","title":"CSP, Occam, and Inmos","display_name":"CSP, Occam, and Inmos","publication_year":2021,"publication_date":"2021-10-02","ids":{"openalex":"https://openalex.org/W3201864609","doi":"https://doi.org/10.1145/3477355.3477368","mag":"3201864609"},"language":"en","primary_location":{"id":"doi:10.1145/3477355.3477368","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477355.3477368","pdf_url":null,"source":{"id":"https://openalex.org/S4306462769","display_name":"ACM eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theories of Programming","raw_type":"book-chapter"},"type":"book-chapter","indexed_in":["crossref"],"open_access":{"is_oa":false,"oa_status":"closed","oa_url":null,"any_repository_has_fulltext":false},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5010194320","display_name":"David May","orcid":null},"institutions":[],"countries":[],"is_corresponding":true,"raw_author_name":"David May","raw_affiliation_strings":[""],"affiliations":[{"raw_affiliation_string":"","institution_ids":[]}]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":1,"corresponding_author_ids":["https://openalex.org/A5010194320"],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.0,"has_fulltext":false,"cited_by_count":0,"citation_normalized_percentile":{"value":0.22177521,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":"271","last_page":"284"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T10829","display_name":"Interconnection Networks and Systems","score":0.9993000030517578,"subfield":{"id":"https://openalex.org/subfields/1705","display_name":"Computer Networks and Communications"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10904","display_name":"Embedded Systems Design Techniques","score":0.9955999851226807,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T10054","display_name":"Parallel Computing and Optimization Techniques","score":0.9930999875068665,"subfield":{"id":"https://openalex.org/subfields/1708","display_name":"Hardware and Architecture"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/occam","display_name":"occam","score":0.9048254489898682},{"id":"https://openalex.org/keywords/citation","display_name":"Citation","score":0.7868757843971252},{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.6817470192909241},{"id":"https://openalex.org/keywords/world-wide-web","display_name":"World Wide Web","score":0.39633122086524963},{"id":"https://openalex.org/keywords/information-retrieval","display_name":"Information retrieval","score":0.3246198296546936},{"id":"https://openalex.org/keywords/programming-language","display_name":"Programming language","score":0.25438976287841797}],"concepts":[{"id":"https://openalex.org/C78469957","wikidata":"https://www.wikidata.org/wiki/Q838062","display_name":"occam","level":2,"score":0.9048254489898682},{"id":"https://openalex.org/C2778805511","wikidata":"https://www.wikidata.org/wiki/Q1713","display_name":"Citation","level":2,"score":0.7868757843971252},{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.6817470192909241},{"id":"https://openalex.org/C136764020","wikidata":"https://www.wikidata.org/wiki/Q466","display_name":"World Wide Web","level":1,"score":0.39633122086524963},{"id":"https://openalex.org/C23123220","wikidata":"https://www.wikidata.org/wiki/Q816826","display_name":"Information retrieval","level":1,"score":0.3246198296546936},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.25438976287841797}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.1145/3477355.3477368","is_oa":false,"landing_page_url":"https://doi.org/10.1145/3477355.3477368","pdf_url":null,"source":{"id":"https://openalex.org/S4306462769","display_name":"ACM eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310319798","host_organization_name":"Association for Computing Machinery","host_organization_lineage":["https://openalex.org/P4310319798"],"host_organization_lineage_names":["Association for Computing Machinery"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Theories of Programming","raw_type":"book-chapter"}],"best_oa_location":null,"sustainable_development_goals":[],"awards":[],"funders":[],"has_content":{"grobid_xml":false,"pdf":false},"content_urls":null,"referenced_works_count":9,"referenced_works":["https://openalex.org/W1584522586","https://openalex.org/W2002281184","https://openalex.org/W2037874152","https://openalex.org/W2099103090","https://openalex.org/W2109597998","https://openalex.org/W4210379884","https://openalex.org/W4211008702","https://openalex.org/W4231409327","https://openalex.org/W4256643981"],"related_works":["https://openalex.org/W2748952813","https://openalex.org/W2052510908","https://openalex.org/W2099948848","https://openalex.org/W2087932334","https://openalex.org/W4206578062","https://openalex.org/W1984698099","https://openalex.org/W2028587848","https://openalex.org/W1850053445","https://openalex.org/W2006611598","https://openalex.org/W4248071008"],"abstract_inverted_index":{"chapter":[0],"Share":[1],"on":[2,75],"CSP,":[3],"Occam,":[4],"and":[5,23,52],"Inmos":[6],"Author:":[7],"David":[8],"May":[9],"Search":[10],"about":[11],"this":[12],"author":[13],"Authors":[14],"Info":[15],"&":[16],"Claims":[17],"Theories":[18],"of":[19,25],"Programming:":[20],"The":[21],"Life":[22],"Works":[24],"Tony":[26],"HoareOctober":[27],"2021":[28],"Pages":[29],"271\u2013284https://doi.org/10.1145/3477355.3477368Online:02":[30],"October":[31],"2021Publication":[32],"History":[33],"0citation2DownloadsMetricsTotal":[34],"Citations0Total":[35],"Downloads2Last":[36],"12":[37],"Months2Last":[38],"6":[39],"weeks1":[40],"Get":[41],"Citation":[42,44,81],"AlertsNew":[43,80],"Alert":[45],"added!This":[46],"alert":[47,72],"has":[48,67],"been":[49,68],"successfully":[50],"added":[51],"will":[53,57],"be":[54,58],"sent":[55],"to:You":[56],"notified":[59],"whenever":[60],"a":[61,93],"record":[62],"that":[63],"you":[64],"have":[65],"chosen":[66],"cited.To":[69],"manage":[70],"your":[71,86],"preferences,":[73],"click":[74],"the":[76],"button":[77],"below.Manage":[78],"my":[79],"Alert!Please":[82],"log":[83],"in":[84],"to":[85,89,91],"account":[87],"Save":[88],"BinderSave":[90],"BinderCreate":[92],"New":[94],"BinderNameCancelCreateExport":[95],"CitationPublisher":[96],"SiteGet":[97],"Access":[98]},"counts_by_year":[],"updated_date":"2025-11-06T03:46:38.306776","created_date":"2025-10-10T00:00:00"}