{"id":"https://openalex.org/W4407791475","doi":"https://doi.org/10.3233/978-1-58603-907-3-115","title":"Experiments in Translating CSP∥B to Handel-C","display_name":"Experiments in Translating CSP∥B to Handel-C","publication_year":2008,"publication_date":"2008-01-01","ids":{"openalex":"https://openalex.org/W4407791475","doi":"https://doi.org/10.3233/978-1-58603-907-3-115"},"language":"en","primary_location":{"id":"doi:10.3233/978-1-58603-907-3-115","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-907-3-115","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrent Systems Engineering Series","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/A5116349015","display_name":"Schneider Steve","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Schneider Steve","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116349016","display_name":"Treharne Helen","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Treharne Helen","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"middle","author":{"id":"https://openalex.org/A5116349017","display_name":"McEwan Alistair","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"McEwan Alistair","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]},{"author_position":"last","author":{"id":"https://openalex.org/A5116349018","display_name":"Ifill Wilson","orcid":null},"institutions":[],"countries":[],"is_corresponding":false,"raw_author_name":"Ifill Wilson","raw_affiliation_strings":[],"raw_orcid":null,"affiliations":[]}],"institutions":[],"countries_distinct_count":0,"institutions_distinct_count":4,"corresponding_author_ids":[],"corresponding_institution_ids":[],"apc_list":null,"apc_paid":null,"fwci":0.3841,"has_fulltext":false,"cited_by_count":1,"citation_normalized_percentile":{"value":0.67456253,"is_in_top_1_percent":false,"is_in_top_10_percent":false},"cited_by_percentile_year":null,"biblio":{"volume":null,"issue":null,"first_page":null,"last_page":null},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T11697","display_name":"Numerical Methods and Algorithms","score":0.10209999978542328,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11697","display_name":"Numerical Methods and Algorithms","score":0.10209999978542328,"subfield":{"id":"https://openalex.org/subfields/1703","display_name":"Computational Theory and Mathematics"},"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/T11206","display_name":"Model Reduction and Neural Networks","score":0.094200000166893,"subfield":{"id":"https://openalex.org/subfields/3109","display_name":"Statistical and Nonlinear Physics"},"field":{"id":"https://openalex.org/fields/31","display_name":"Physics and Astronomy"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11034","display_name":"Digital Filter Design and Implementation","score":0.08470000326633453,"subfield":{"id":"https://openalex.org/subfields/1711","display_name":"Signal Processing"},"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/computer-science","display_name":"Computer science","score":0.4198117256164551},{"id":"https://openalex.org/keywords/chemistry","display_name":"Chemistry","score":0.35976824164390564}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.4198117256164551},{"id":"https://openalex.org/C185592680","wikidata":"https://www.wikidata.org/wiki/Q2329","display_name":"Chemistry","level":0,"score":0.35976824164390564}],"mesh":[],"locations_count":1,"locations":[{"id":"doi:10.3233/978-1-58603-907-3-115","is_oa":false,"landing_page_url":"https://doi.org/10.3233/978-1-58603-907-3-115","pdf_url":null,"source":{"id":"https://openalex.org/S4306463470","display_name":"IOS Press eBooks","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":"https://openalex.org/P4310318577","host_organization_name":"IOS Press","host_organization_lineage":["https://openalex.org/P4310318577"],"host_organization_lineage_names":["IOS Press"],"type":"ebook platform"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"Concurrent Systems Engineering Series","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":0,"referenced_works":[],"related_works":["https://openalex.org/W4387497383","https://openalex.org/W2948807893","https://openalex.org/W2899084033","https://openalex.org/W2778153218","https://openalex.org/W2748952813","https://openalex.org/W1531601525","https://openalex.org/W4391375266","https://openalex.org/W2078814861","https://openalex.org/W2527526854","https://openalex.org/W1976181487"],"abstract_inverted_index":{"This":[0],"paper":[1,34,76],"considers":[2],"the":[3,11,29,47,85,107,110,126],"issues":[4,104],"involved":[5],"in":[6,10,32],"translating":[7,23],"specifications":[8,133],"described":[9],"CSP∥B":[12,52,132],"formal":[13],"method":[14],"into":[15],"Handel-C.":[16,139],"There":[17],"have":[18,99,114],"previously":[19],"been":[20],"approaches":[21],"to":[22,26,42,45,73,106,136,138],"CSP":[24],"descriptions":[25],"Handel-C,":[27],"and":[28,67,69,91,113],"work":[30,41,124],"presented":[31],"this":[33],"is":[35,55],"part":[36],"of":[37,40,50,61,64,84,103,109,118,128],"a":[38,51,56,87,101,116,129],"programme":[39],"extend":[43],"it":[44],"include":[46],"B":[48,111],"component":[49],"description.":[53],"Handel-C":[54],"suitable":[57],"target":[58],"language":[59],"because":[60],"its":[62,70],"capability":[63],"programming":[65],"communication":[66],"state,":[68],"compilation":[71],"route":[72],"hardware.":[74],"The":[75],"presents":[77],"two":[78],"case":[79,89,95],"studies":[80],"that":[81],"investigate":[82],"aspects":[83],"translation:":[86],"buffer":[88],"study,":[90],"an":[92],"abstract":[93],"arbiter":[94],"study.":[96],"These":[97],"investigations":[98],"exposed":[100],"number":[102],"relating":[105],"translation":[108,137],"component,":[112],"identified":[115],"range":[117],"options":[119],"available,":[120],"informing":[121],"more":[122],"recent":[123],"on":[125],"development":[127],"style":[130],"for":[131],"particularly":[134],"appropriate":[135]},"counts_by_year":[],"updated_date":"2026-06-11T09:08:48.828518","created_date":"2025-02-21T00:00:00"}